FindBugs Results

The following document contains the results of FindBugs.

Summary

Files Errors
497 1717

Files

Files Violations
joeq.Allocator.CodeAllocator$x86CodeBuffer 1
joeq.Allocator.HeapAllocator 7
joeq.Allocator.SemiConservative 1
joeq.Class.NullDelegates$Klass 1
joeq.Class.jq_Member$FilterByName 1
joeq.Class.jq_Member$FilterByShortClassName 1
joeq.Class.jq_Member 1
joeq.Class.jq_Class$1 2
joeq.Class.jq_Class 45
joeq.Class.jq_Reference$jq_NullType 1
joeq.Class.jq_Method 9
joeq.Class.jq_Array 6
joeq.Class.jq_CompiledCode 4
joeq.Class.jq_BytecodeMap 2
joeq.Class.PrimordialClassLoader$1 1
joeq.Class.PrimordialClassLoader 5
joeq.UTF.Utf8 8
joeq.ClassLib.ClassLibInterface 3
joeq.Runtime.ObjectTraverser 5
joeq.Runtime.Arrays 1
joeq.Runtime.BasicReflectionImpl 12
joeq.Runtime.TypeCheck 1
joeq.Runtime.SystemInterface 58
joeq.Runtime.HighResolutionTimer 5
joeq.Runtime.ReflectionImpl 14
joeq.Interpreter.QuadInterpreter 12
joeq.Interpreter.BytecodeInterpreter$MethodInterpreter 3
joeq.Interpreter.ReflectiveInterpreter$ReflectiveState 2
joeq.Interpreter.ReflectiveInterpreter$ReflectiveVMInterface 3
joeq.Interpreter.ReflectiveInterpreter 1
joeq.Interpreter.DirectInterpreter$DirectVMInterface 3
joeq.Util.DescriptorUtil 3
joeq.Main.ClassDump 5
joeq.Main.ClasspathWalker 5
joeq.Main.ClassName 1
joeq.Main.Driver$1 1
joeq.Main.Driver 5
joeq.Main.GenRelations 2
joeq.Main.GenerateWebRoots 1
joeq.Main.Helper 3
joeq.Main.Instrument$ClassVisitor$MethodVisitor 1
joeq.Main.Instrument$ClassVisitor 3
joeq.Main.TraceFlags 3
joeq.Main.jq 12
joeq.Main.Bootstrapper 1
joeq.Scheduler.jq_NativeThread 11
joeq.Scheduler.jq_ThreadQueue$1 2
joeq.Scheduler.jq_MainThread 1
joeq.Scheduler.jq_x86RegisterState 74
joeq.Bootstrap.BootstrapCodeAllocator 2
joeq.Bootstrap.SinglePassBootImage$TextSection 1
joeq.Bootstrap.SinglePassBootImage$DataSection 1
joeq.Bootstrap.SinglePassBootImage 9
joeq.Bootstrap.BootstrapRootSet 6
joeq.Bootstrap.MethodInvocation 1
joeq.Bootstrap.MultiPassBootImage 8
joeq.Debugger.OnlineDebugger 3
joeq.Synchronization.Atomic 2
joeq.Compiler.BytecodeAnalysis.Bytecodes$Instruction 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$InstructionList 2
joeq.Compiler.BytecodeAnalysis.Bytecodes$AALOAD 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$AASTORE 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$ALOAD 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$ANEWARRAY 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$ARETURN 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$BALOAD 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$BASTORE 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$CALOAD 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$CASTORE 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$CHECKCAST 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$D2F 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$D2I 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$D2L 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$DADD 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$DALOAD 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$DASTORE 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$DCONST 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$DDIV 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$DMUL 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$DNEG 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$DREM 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$DRETURN 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$DSUB 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$F2D 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$F2I 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$F2L 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$FADD 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$FALOAD 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$FASTORE 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$FCONST 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$FDIV 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$FMUL 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$FNEG 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$FREM 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$FRETURN 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$FSUB 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$GETFIELD 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$GETSTATIC 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$GOTO 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$GOTO_W 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$I2B 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$I2C 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$I2D 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$I2F 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$I2L 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$I2S 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$IADD 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$IALOAD 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$IAND 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$IASTORE 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$IDIV 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$IF_ACMPEQ 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$IF_ACMPNE 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$IFEQ 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$IFGE 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$IFGT 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$IF_ICMPEQ 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$IF_ICMPGE 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$IF_ICMPGT 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$IF_ICMPLE 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$IF_ICMPLT 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$IF_ICMPNE 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$IFLE 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$IFLT 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$IFNE 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$IFNONNULL 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$IFNULL 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$IMUL 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$INEG 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$INSTANCEOF 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$INVOKEINTERFACE 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$INVOKESPECIAL 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$INVOKESTATIC 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$INVOKEVIRTUAL 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$IOR 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$IREM 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$IRETURN 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$ISHL 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$ISHR 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$ISUB 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$IUSHR 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$IXOR 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$JSR 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$JSR_W 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$L2D 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$L2F 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$L2I 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$LADD 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$LALOAD 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$LAND 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$LASTORE 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$LDC2_W 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$LDC 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$LDIV 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$LMUL 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$LNEG 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$LOR 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$LREM 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$LRETURN 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$LSHL 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$LSHR 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$LSUB 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$LUSHR 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$LXOR 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$MULTIANEWARRAY 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$NEW 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$PUSH 2
joeq.Compiler.BytecodeAnalysis.Bytecodes$PUTFIELD 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$PUTSTATIC 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$RETURN 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$SALOAD 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$SASTORE 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$TABLESWITCH 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$FieldInstruction 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$FieldOrMethod 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$InvokeInstruction 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$Select 2
joeq.Compiler.BytecodeAnalysis.Bytecodes$jq_ReturnAddressType 1
joeq.Compiler.BytecodeAnalysis.Bytecodes$CodeException 1
joeq.Compiler.BytecodeAnalysis.ExceptionHandler 1
joeq.Compiler.BytecodeAnalysis.JSRInfo 1
joeq.Compiler.BytecodeAnalysis.CallTargets$MultipleCallTargets 1
joeq.Compiler.BytecodeAnalysis.CallTargets 7
joeq.Compiler.BytecodeAnalysis.LiveRefAnalysis$FirstPassVisitor 4
joeq.Compiler.Quad.Operand$FConstOperand 1
joeq.Compiler.Quad.Operand$DConstOperand 1
joeq.Compiler.Quad.Operand$IntValueTableOperand 1
joeq.Compiler.Quad.Operand$BasicBlockTableOperand 1
joeq.Compiler.Quad.Operand$ParamListOperand 1
joeq.Compiler.Quad.Operator$Binary$CMP_FL 1
joeq.Compiler.Quad.Operator$Binary$CMP_FG 1
joeq.Compiler.Quad.Operator$Binary$CMP_DL 1
joeq.Compiler.Quad.Operator$Binary$CMP_DG 1
joeq.Compiler.Quad.ControlFlowGraph 3
joeq.Compiler.Quad.JSRInfo 1
joeq.Compiler.Quad.BytecodeToQuad$jq_ReturnAddressType 1
joeq.Compiler.Quad.BytecodeToQuad 2
joeq.Compiler.Quad.CallGraph$2 1
joeq.Compiler.Quad.CallGraph 3
joeq.Compiler.Quad.AndersenPointerAnalysis 19
joeq.Compiler.Quad.CodeCache 5
joeq.Compiler.Quad.DotGraph$dot 1
joeq.Compiler.Quad.DotGraph 3
joeq.Compiler.Quad.FilteredCallGraph$PackageFilter 1
joeq.Compiler.Quad.LoadedCallGraph$1 1
joeq.Compiler.Quad.LoadedCallGraph$2 1
joeq.Compiler.Quad.LoadedCallGraph$3 1
joeq.Compiler.Quad.PointerExplorer$1 1
joeq.Compiler.Quad.PointerExplorer 14
joeq.Compiler.Dataflow.Fact 1
joeq.Compiler.Dataflow.BBComparator 1
joeq.Compiler.Dataflow.LivenessAnalysis 3
joeq.ClassLib.Common.InterfaceImpl 12
joeq.ClassLib.ibm13_linux.Interface$ibm13_linuxObjectTraverser 3
joeq.ClassLib.ibm13_win32.Interface$ibm13_win32ObjectTraverser 3
joeq.ClassLib.sun13_win32.Interface$sun13_win32ObjectTraverser 2
joeq.ClassLib.sun142_linux.Interface$sun142_linuxObjectTraverser 2
joeq.ClassLib.sun14_linux.Interface$sun14_linuxObjectTraverser 2
joeq.ClassLib.sun142_win32.Interface$sun142_win32ObjectTraverser 2
joeq.ClassLib.sun14_win32.Interface$sun14_win32ObjectTraverser 2
joeq.Util.Templates.UnmodifiableList$jq_Class$Iterator 1
joeq.Util.Templates.UnmodifiableList$jq_Class 1
joeq.Util.Templates.UnmodifiableList$RegisterOperand$Iterator 1
joeq.Util.Templates.UnmodifiableList$RegisterOperand 1
joeq.Util.Templates.UnmodifiableList$Operand$Iterator 1
joeq.Util.Templates.UnmodifiableList$Operand 1
joeq.Util.Templates.UnmodifiableList$BasicBlock$Iterator 1
joeq.Util.Templates.UnmodifiableList$BasicBlock 1
joeq.Util.Templates.UnmodifiableList$Quad$Iterator 1
joeq.Util.Templates.UnmodifiableList$Quad 1
joeq.Util.IO.SourceLister 5
joeq.Util.SyntheticGraphs.Graph 3
joeq.Util.SyntheticGraphs.TestGraph 2
joeq.Assembler.x86.x86 10
joeq.Assembler.x86.x86Assembler 2
joeq.Linker.ELF.Section$ProgBitsSectionImpl 1
joeq.Linker.ELF.Section$RelASection 1
joeq.Linker.ELF.Section$NoteSection 1
joeq.Linker.ELF.ELFRandomAccessFile 1
joeq.Linker.ELF.SymbolTableEntry 1
joeq.Compiler.Quad.IPA.Solver 1
joeq.Compiler.Quad.SSA.EnterSSA 6
joeq.Compiler.Quad.x86.SimpleCompiler 9
joeq.Compiler.Quad.x86.x86QuadExceptionDeliverer 2
joeq.Compiler.Analysis.BDD.BuildBDDIR 1
joeq.Compiler.Analysis.IPA.ProgramLocation$FakeProgramLocation 1
joeq.Compiler.Analysis.IPA.ProgramLocation$PlaceholderParameterProgramLocation 1
joeq.Compiler.Analysis.IPA.ClassInvariantAnalysis 7
joeq.Compiler.Analysis.IPA.CollectionFinder 4
joeq.Compiler.Analysis.IPA.PA$ToString 2
joeq.Compiler.Analysis.IPA.PA$HeapPathSelector 1
joeq.Compiler.Analysis.IPA.PA$2 2
joeq.Compiler.Analysis.IPA.PA$3 2
joeq.Compiler.Analysis.IPA.PA 139
joeq.Compiler.Analysis.IPA.PAResults$1 2
joeq.Compiler.Analysis.IPA.PAResults 8
joeq.Compiler.Analysis.IPA.SubtypeHelper$OfflineSubtypeHelper 1
joeq.Compiler.Analysis.IPA.ExceptionAnalysis 2
joeq.Compiler.Analysis.IPA.ObjectNamingSupport 11
joeq.Compiler.Analysis.IPA.AnnotatedDirectedGraph 1
joeq.Compiler.Analysis.IPA.PACallGraph$BDDSet$1 1
joeq.Compiler.Analysis.IPA.PACallGraph$PACallTargetMap$1$1 5
joeq.Compiler.Analysis.IPA.PAProxy 41
joeq.Compiler.Analysis.IPA.PAQuery$ConstParameterFinder 1
joeq.Compiler.Analysis.IPA.PAQuery$HeapReferenceStat 1
joeq.Compiler.Analysis.FlowInsensitive.BogusSummaryProvider 16
joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary 21
joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$Node 2
joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$UnknownTypeNode 1
joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$State 1
joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$NodeSet$1 1
joeq.Compiler.Analysis.FlowInsensitive.MethodSummary 20
joeq.Compiler.Analysis.FlowInsensitive.ReflectionInformationProvider$NewInstanceTargets 2
joeq.Compiler.Analysis.FlowInsensitive.ReflectionInformationProvider$CribSheetReflectionInformationProvider 6
joeq.Compiler.Analysis.FlowInsensitive.ReflectionInformationProvider 2
joeq.Compiler.Analysis.FlowInsensitive.SummaryToTuples$TupleSummary 2
joeq.Compiler.Analysis.FlowInsensitive.SummaryToTuples 21
joeq.Compiler.Analysis.IPSSA.SSAProcInfo$Query$1 1
joeq.Compiler.Analysis.IPSSA.SSAProcInfo 4
joeq.Compiler.Analysis.IPSSA.SSAValue$Phi 1
joeq.Compiler.Analysis.IPSSA.SSAValue$Predicate 2
joeq.Compiler.Analysis.IPSSA.SSAValue$Predicated 1
joeq.Compiler.Analysis.IPSSA.SSAValue$FormalIn 1
joeq.Compiler.Analysis.IPSSA.SSAValue$ActualOut 1
joeq.Compiler.Analysis.IPSSA.IPSSABuilder$SSABuilder$Stage1Visitor 2
joeq.Compiler.Analysis.IPSSA.IPSSABuilder$SSABuilder 1
joeq.Compiler.Analysis.IPSSA.IPSSABuilder$ApplicationLaunchingPad 1
joeq.Compiler.Analysis.IPSSA.IPSSABuilder 3
joeq.Compiler.Analysis.IPSSA.LocalPointerResults 2
joeq.Compiler.Analysis.Primitive.PrimitiveGenRelations 2
joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary 21
joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$Node 2
joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$ConcreteObjectNode 1
joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$UnknownTypeNode 1
joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$State 1
joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$NodeSet$1 1
joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary 18
joeq.Compiler.Analysis.Primitive.PrimitivePA$ToString 2
joeq.Compiler.Analysis.Primitive.PrimitivePA$HeapPathSelector 1
joeq.Compiler.Analysis.Primitive.PrimitivePA$2 2
joeq.Compiler.Analysis.Primitive.PrimitivePA$3 2
joeq.Compiler.Analysis.Primitive.PrimitivePA 138
joeq.Compiler.Analysis.Primitive.PrimitiveSubtypeHelper$OfflineSubtypeHelper 1
joeq.Compiler.Analysis.Primitive.PrimitivePACallGraph$BDDSet$1 1
joeq.Compiler.Analysis.Primitive.PrimitivePACallGraph$PACallTargetMap$1$1 5
joeq.Compiler.Reference.x86.x86ReferenceCompiler 10
joeq.Compiler.Reference.x86.x86ReferenceExceptionDeliverer 2
joeq.Compiler.Reference.x86.x86ReferenceLinker 2
joeq.Compiler.Analysis.IPSSA.Apps.FindBadStores 2
joeq.Compiler.Analysis.IPSSA.Apps.ClassHierarchy$ClassComparator 3
joeq.Compiler.Analysis.IPSSA.Apps.ClassHierarchy 2
joeq.Compiler.Analysis.IPSSA.Apps.FindCollectionImplementations 4
joeq.Compiler.Analysis.IPSSA.Apps.FindOwnership$SimpleOwnershipFinder$OwnershipValue 1
joeq.Compiler.Analysis.IPSSA.Apps.FindOwnership$SimpleOwnershipFinder 1
joeq.Compiler.Analysis.IPSSA.Apps.ReachabilityTracerApp 1
joeq.Compiler.Analysis.IPSSA.Utils.AnalysisObjectSpec$PAObjectSpec 1
joeq.Compiler.Analysis.IPSSA.Utils.IteratorHelper$SingleIterator 1
joeq.Compiler.Analysis.IPSSA.Utils.IteratorHelper$EmptyIterator 1
joeq.Compiler.Analysis.IPSSA.Utils.ReachabilityTrace 1
joeq.Compiler.Analysis.IPSSA.Utils.SimpleDominatorQuery$TestSimpleDominatorQuery 4
joeq.ClassLib.Common.java.io.FileDescriptor 1
joeq.ClassLib.Common.java.io.FileInputStream 9
joeq.ClassLib.Common.java.io.FileOutputStream 11
joeq.ClassLib.Common.java.io.FileSystem 1
joeq.ClassLib.Common.java.io.ObjectInputStream 7
joeq.ClassLib.Common.java.io.ObjectOutputStream 4
joeq.ClassLib.Common.java.io.ObjectStreamClass 3
joeq.ClassLib.Common.java.io.RandomAccessFile 12
joeq.ClassLib.Common.java.io.UnixFileSystem 3
joeq.ClassLib.Common.java.io.Win32FileSystem 3
joeq.ClassLib.Common.java.lang.Class 15
joeq.ClassLib.Common.java.lang.ClassLoader 10
joeq.ClassLib.Common.java.lang.Object 2
joeq.ClassLib.Common.java.lang.Package 2
joeq.ClassLib.Common.java.lang.Runtime 2
joeq.ClassLib.Common.java.lang.Shutdown 1
joeq.ClassLib.Common.java.lang.String 1
joeq.ClassLib.Common.java.lang.System 4
joeq.ClassLib.Common.java.lang.Thread 14
joeq.ClassLib.Common.java.lang.Throwable 1
joeq.ClassLib.Common.java.net.Inet4AddressImpl$hostent 5
joeq.ClassLib.Common.java.security.AccessController 1
joeq.ClassLib.Common.java.util.ResourceBundle 1
joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation 38
joeq.ClassLib.Common.java.util.TimeZone 3
joeq.ClassLib.Common.sun.misc.AtomicLong 1
joeq.ClassLib.apple13_osx.java.lang.Thread 3
joeq.ClassLib.ibm13_linux.java.lang.Class 2
joeq.ClassLib.ibm13_linux.java.lang.System 1
joeq.ClassLib.ibm13_win32.java.lang.Class 2
joeq.ClassLib.ibm13_win32.java.lang.System 1
joeq.ClassLib.pa.java.security.AccessController 1
joeq.ClassLib.sun13_linux.java.lang.System 1
joeq.ClassLib.sun13_win32.java.io.Win32FileSystem 1
joeq.ClassLib.sun13_win32.java.lang.System 1
joeq.ClassLib.sun14_linux.java.io.RandomAccessFile 4
joeq.ClassLib.sun14_linux.java.lang.Class 6
joeq.ClassLib.sun14_linux.java.lang.System 4
joeq.ClassLib.sun14_linux.java.lang.Thread 2
joeq.ClassLib.sun14_linux.java.lang.Throwable 1
joeq.ClassLib.sun14_win32.java.io.RandomAccessFile 4
joeq.ClassLib.sun14_win32.java.io.WinNTFileSystem 1
joeq.ClassLib.sun14_win32.java.lang.Class 6
joeq.ClassLib.sun14_win32.java.lang.System 4
joeq.ClassLib.sun14_win32.java.lang.Thread 2
joeq.ClassLib.sun14_win32.java.lang.Throwable 1
joeq.ClassLib.sun15_linux.java.lang.System 2
joeq.ClassLib.sun15_win32.java.lang.System 2
joeq.ClassLib.Common.java.lang.reflect.Array 2
joeq.ClassLib.Common.java.lang.reflect.Constructor 6
joeq.ClassLib.Common.java.lang.reflect.Field 5
joeq.ClassLib.Common.java.lang.reflect.Method 7
joeq.ClassLib.Common.java.lang.reflect.Proxy 1
joeq.ClassLib.Common.java.util.zip.Deflater 3
joeq.ClassLib.Common.java.util.zip.Inflater 4
joeq.ClassLib.Common.java.util.zip.ZipFile 5
joeq.ClassLib.Common.java.util.zip.ZipEntry 1
joeq.ClassLib.ibm13_linux.com.ibm.jvm.ExtendedSystem 3
joeq.ClassLib.ibm13_linux.java.lang.ref.Finalizer 1
joeq.ClassLib.ibm13_win32.java.lang.ref.Finalizer 1
joeq.Bootstrap.BootstrapCodeAddress 2
joeq.Bootstrap.BootstrapHeapAddress 2
joeq.Allocator.CircularAddressQueue 5
joeq.Allocator.CodeAllocator 1
joeq.Allocator.DefaultCodeAllocator 1
joeq.Allocator.SimpleAllocator 5
joeq.Class.jq_ClassFileConstants 5
joeq.Class.jq_Reference 1
joeq.Class.jq_ConstantPool 1
joeq.Class.Delegates 2
joeq.Compiler.CompilationState$StaticCompilation 1
joeq.Compiler.CompilationState 1
joeq.Memory.HeapAddress 1
joeq.Memory.CodeAddress 1
joeq.Memory.StackAddress 1
joeq.Runtime.Reflection 4
joeq.Runtime.MathSupport 4
joeq.Runtime.ExceptionDeliverer 1
joeq.Runtime.StackCodeWalker 1
joeq.Runtime.Monitor 2
joeq.Interpreter.BytecodeInterpreter 1
joeq.Main.Instrument 4
joeq.Scheduler.jq_Thread 2
joeq.Scheduler.jq_RegisterState 1
joeq.Scheduler.jq_InterrupterThread 3
joeq.Compiler.BytecodeAnalysis.Bytecodes$InstructionConstants 1
joeq.Compiler.BytecodeAnalysis.BytecodeVisitor 7
joeq.Compiler.BytecodeAnalysis.LiveRefAnalysis 2
joeq.Compiler.BytecodeAnalysis.ModRefAnalysis 1
joeq.Compiler.BytecodeAnalysis.Trimmer 1
joeq.Compiler.Quad.Operator 1
joeq.Compiler.Quad.AndersenPointerAnalysis$Visitor 1
joeq.Compiler.Quad.LoadedCallGraph 3
joeq.Compiler.Dataflow.ReachingDefs$RDVisitor 2
joeq.ClassLib.Common.InterfaceImpl$CommonObjectTraverser 1
joeq.ClassLib.apple13_osx.Interface$apple13_osxObjectTraverser 1
joeq.ClassLib.sun13_linux.Interface$sun13_linuxObjectTraverser 1
joeq.ClassLib.sun15_linux.Interface$sun15_linuxObjectTraverser 1
joeq.ClassLib.sun15_win32.Interface$sun15_win32ObjectTraverser 1
joeq.Util.Templates.ListWrapper$BasicBlock$EmptyIterator 1
joeq.Util.Templates.ListWrapper$Quad$EmptyIterator 1
joeq.Util.Templates.ListWrapper$ExceptionHandler$EmptyIterator 1
joeq.Compiler.Analysis.IPA.SubtypeHelper 1
joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$GlobalNode 1
joeq.Compiler.Analysis.IPSSA.SSADefinition$Helper 3
joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$GlobalNode 1
joeq.Compiler.Analysis.Primitive.PrimitiveSubtypeHelper 1
joeq.ClassLib.Common.java.net.Inet4AddressImpl 1
joeq.ClassLib.ibm13_linux.java.util.zip.ZipFile 1
joeq.ClassLib.ibm13_win32.java.util.zip.ZipFile 1
joeq.ClassLib.sun15_linux.java.lang.Runtime 1
joeq.Compiler.BytecodeAnalysis.BasicBlock 1
joeq.Compiler.Quad.Dominators 1
joeq.Allocator.RuntimeCodeAllocator$Runtimex86CodeBuffer 1
joeq.Class.PrimordialClassLoader$PathElement 1
joeq.Compiler.Analysis.IPA.ObjectCreationGraph 1
joeq.Compiler.Analysis.IPSSA.Apps.ResultCorrelation 1
joeq.Compiler.BytecodeAnalysis.ControlFlowGraph$BranchVisitor 1
joeq.Compiler.BytecodeAnalysis.LiveRefAnalysis$SecondPassVisitor 1
joeq.Compiler.Dataflow.ReachingDefs 3
joeq.Compiler.Quad.CachedCallGraph 1
joeq.Scheduler.jq_ThreadQueue 1
joeq.ClassLib.Common.java.io.UnixFileSystem$linux_stat 20
joeq.ClassLib.sun15_win32.java.io.FileDescriptor 6
joeq.Compiler.Analysis.IPA.ClassInvariantAnalysis$LocalCallGraphNavigator 5
joeq.Compiler.Analysis.IPA.PACallGraph$PACallTargetMap 4
joeq.Compiler.Analysis.IPA.PAResults$HeapLocation$FACTORY 3
joeq.Compiler.Analysis.Primitive.PrimitivePACallGraph$PACallTargetMap 4
joeq.Compiler.Analysis.IPA.PACallGraph$PACallTargetMap$1 2
joeq.Compiler.Analysis.IPA.PACallGraph$PACallTargetMap$1$1$1 1
joeq.Compiler.Analysis.Primitive.PrimitivePACallGraph$PACallTargetMap$1 2
joeq.Compiler.Analysis.Primitive.PrimitivePACallGraph$PACallTargetMap$1$1$1 1
joeq.Class.PrimordialClassLoader$PathElement$1 1
joeq.Class.PrimordialClassLoader$PathElement$2 1
joeq.Class.PrimordialClassLoader$PathElement$3 1
joeq.Class.PrimordialClassLoader$PathElement$4 1
joeq.Class.PrimordialClassLoader$ZipFileElement$1 1
joeq.ClassLib.Common.java.util.zip.DeflaterEngine 1
joeq.ClassLib.Common.java.util.zip.OutputWindow 2
joeq.ClassLib.pa.Interface$1 1
joeq.ClassLib.sun14_linux.java.io.FileDescriptor 1
joeq.ClassLib.sun14_linux.java.lang.StackTraceElement 4
joeq.ClassLib.sun14_win32.java.io.FileDescriptor 1
joeq.ClassLib.sun14_win32.java.lang.StackTraceElement 4
joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$Node$1 1
joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$OperandToNodeMap 1
joeq.Compiler.Analysis.IPA.PA$Dummy 1
joeq.Compiler.Analysis.IPA.PACallGraph 1
joeq.Compiler.Analysis.IPA.PAQuery$ParamAliasFinder$ModifiableBoolean 1
joeq.Compiler.Analysis.IPA.ParameterAliasing$ParamAliasFinder$ModifiableBoolean 1
joeq.Compiler.Analysis.IPSSA.Apps.ClassHierarchy$ClassHieraryNode 2
joeq.Compiler.Analysis.IPSSA.Apps.DeclarationDepth$DeclarationDepthComputation 1
joeq.Compiler.Analysis.IPSSA.Apps.FindCollectionImplementations$ClassAndMethod 1
joeq.Compiler.Analysis.IPSSA.ContextSet$ContextLocationPair 1
joeq.Compiler.Analysis.IPSSA.DefinitionGraph$ContextEdge 2
joeq.Compiler.Analysis.IPSSA.DefinitionGraph$EfficientDefinitionGraph 1
joeq.Compiler.Analysis.IPSSA.DefinitionGraph$EmptyEdge 1
joeq.Compiler.Analysis.IPSSA.DefinitionGraph$IPEdge 1
joeq.Compiler.Analysis.IPSSA.DefinitionGraph$PredicateEdge 1
joeq.Compiler.Analysis.IPSSA.DefinitionGraph$PredicateEdge$TrueEdge 1
joeq.Compiler.Analysis.IPSSA.IPSSABuilder$Main 1
joeq.Compiler.Analysis.IPSSA.IPSSABuilder$SSABuilder$LiftMergesVisitor 1
joeq.Compiler.Analysis.IPSSA.IPSSABuilder$SSABuilder$Stage2Visitor 1
joeq.Compiler.Analysis.IPSSA.SSAProcInfo$Helper 1
joeq.Compiler.Analysis.IPSSA.SSAProcInfo$Query$1MethodBindingIterator 1
joeq.Compiler.Analysis.IPSSA.Utils.SimpleDominatorQuery$1 1
joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$Node$1 1
joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$OperandToNodeMap 1
joeq.Compiler.Analysis.Primitive.PrimitivePA$Dummy 1
joeq.Compiler.Analysis.Primitive.PrimitivePACallGraph 1
joeq.Compiler.BytecodeAnalysis.LiveRefAnalysis$ExactState$LastUse 2
joeq.Compiler.Quad.AndersenPointerAnalysis$Visitor$1 1
joeq.Compiler.Quad.BasicBlockVisitor$AllBasicBlockVisitor 1
joeq.Compiler.Quad.ControlFlowGraph$1 1
joeq.Compiler.Quad.DotGraph$FactoredEdge 1
joeq.Util.SyntheticGraphs.Graph$Edge 1
joeq.Runtime.SystemInterface$Library 2

joeq.Allocator.CodeAllocator$x86CodeBuffer

Violation Line Priority
Nm: The class name joeq.Allocator.CodeAllocator$x86CodeBuffer doesn't start with an upper case letter -1 Normal

joeq.Class.jq_Member

Violation Line Priority
HE: joeq.Class.jq_Member defines hashCode and uses Object.equals() -1 Low

joeq.Class.jq_Class

Violation Line Priority
HE: joeq.Class.jq_Class defines hashCode and uses Object.equals() -1 Low
EI: joeq.Class.jq_Class.getDeclaredInterfaces() may expose internal representation by returning joeq.Class.jq_Class.declared_interfaces 166 Normal
EI: joeq.Class.jq_Class.getDeclaredInstanceFields() may expose internal representation by returning joeq.Class.jq_Class.declared_instance_fields 179 Normal
EI2: joeq.Class.jq_Class.setDeclaredInstanceFields(jq_InstanceField[]) may expose internal representation by storing an externally mutable object into joeq.Class.jq_Class.declared_instance_fields 187 Normal
EI: joeq.Class.jq_Class.getDeclaredStaticFields() may expose internal representation by returning joeq.Class.jq_Class.static_fields 191 Normal
EI2: joeq.Class.jq_Class.setDeclaredStaticFields(jq_StaticField[]) may expose internal representation by storing an externally mutable object into joeq.Class.jq_Class.static_fields 199 Normal
EI: joeq.Class.jq_Class.getDeclaredInstanceMethods() may expose internal representation by returning joeq.Class.jq_Class.declared_instance_methods 269 Normal
EI2: joeq.Class.jq_Class.setDeclaredInstanceMethods(jq_InstanceMethod[]) may expose internal representation by storing an externally mutable object into joeq.Class.jq_Class.declared_instance_methods 277 Normal
EI: joeq.Class.jq_Class.getDeclaredStaticMethods() may expose internal representation by returning joeq.Class.jq_Class.static_methods 281 Normal
EI2: joeq.Class.jq_Class.setDeclaredStaticMethods(jq_StaticMethod[]) may expose internal representation by storing an externally mutable object into joeq.Class.jq_Class.static_methods 289 Normal
EI: joeq.Class.jq_Class.getSubClasses() may expose internal representation by returning joeq.Class.jq_Class.subclasses 611 Normal
EI: joeq.Class.jq_Class.getSubInterfaces() may expose internal representation by returning joeq.Class.jq_Class.subinterfaces 615 Normal
EI: joeq.Class.jq_Class.getInterfaces() may expose internal representation by returning joeq.Class.jq_Class.interfaces 620 Normal
EI: joeq.Class.jq_Class.getInstanceFields() may expose internal representation by returning joeq.Class.jq_Class.instance_fields 649 Normal
EI: joeq.Class.jq_Class.getReferenceOffsets() may expose internal representation by returning joeq.Class.jq_Class.reference_offsets 653 Normal
EI: joeq.Class.jq_Class.getVirtualMethods() may expose internal representation by returning joeq.Class.jq_Class.virtual_methods 669 Normal
EI: joeq.Class.jq_Class.getStaticData() may expose internal representation by returning joeq.Class.jq_Class.static_data 682 Normal
PZLA: Should joeq.Class.jq_Class.getInnerClasses() return a zero length array rather than null? 607 Low
Nm: The field name joeq.Class.jq_Class.NumOfIFieldsKept doesn't start with an lower case letter -1 Normal
Nm: The field name joeq.Class.jq_Class.NumOfSFieldsKept doesn't start with an lower case letter -1 Normal
Nm: The field name joeq.Class.jq_Class.NumOfIMethodsKept doesn't start with an lower case letter -1 Normal
Nm: The field name joeq.Class.jq_Class.NumOfSMethodsKept doesn't start with an lower case letter -1 Normal
Nm: The field name joeq.Class.jq_Class.NumOfIFieldsEliminated doesn't start with an lower case letter -1 Normal
Nm: The field name joeq.Class.jq_Class.NumOfSFieldsEliminated doesn't start with an lower case letter -1 Normal
Nm: The field name joeq.Class.jq_Class.NumOfIMethodsEliminated doesn't start with an lower case letter -1 Normal
Nm: The field name joeq.Class.jq_Class.NumOfSMethodsEliminated doesn't start with an lower case letter -1 Normal
UCF: Useless control flow in joeq.Class.jq_Class.dump(java.io.DataOutput) 2651 Normal
RI: Class joeq.Class.jq_Class implements same interface as superclass. -1 Low
BC: Unchecked/unconfirmed cast from joeq.Class.jq_InstanceMethod to class joeq.Class.jq_Initializer in joeq.Class.jq_Class.getInitializer(jq_NameAndDesc) 373 Low
BC: Unchecked/unconfirmed cast from joeq.Class.jq_StaticMethod to class joeq.Class.jq_ClassInitializer in joeq.Class.jq_Class.getClassInitializer() 377 Low
MS: joeq.Class.jq_Class.TRACE isn't final but should be 48 High
MS: joeq.Class.jq_Class.WARN_STALE_CLASS_FILES isn't final but should be 49 High
MS: joeq.Class.jq_Class.REPLACE_CLASS isn't final but should be 52 High
MS: joeq.Class.jq_Class.TRACE_REPLACE_CLASS isn't final but should be 53 High
MS: joeq.Class.jq_Class.classToReplace isn't final but should be 54 High
MS: joeq.Class.jq_Class.NumOfIFieldsKept isn't final and can't be protected from malicious code 2452 Normal
MS: joeq.Class.jq_Class.NumOfSFieldsKept isn't final and can't be protected from malicious code 2453 Normal
MS: joeq.Class.jq_Class.NumOfIMethodsKept isn't final and can't be protected from malicious code 2454 Normal
MS: joeq.Class.jq_Class.NumOfSMethodsKept isn't final and can't be protected from malicious code 2455 Normal
MS: joeq.Class.jq_Class.NumOfIFieldsEliminated isn't final and can't be protected from malicious code 2456 Normal
MS: joeq.Class.jq_Class.NumOfSFieldsEliminated isn't final and can't be protected from malicious code 2457 Normal
MS: joeq.Class.jq_Class.NumOfIMethodsEliminated isn't final and can't be protected from malicious code 2458 Normal
MS: joeq.Class.jq_Class.NumOfSMethodsEliminated isn't final and can't be protected from malicious code 2459 Normal
UwF: Field not initialized in constructor: joeq.Class.jq_Class.const_pool -1 Low
UwF: Field not initialized in constructor: joeq.Class.jq_Class.super_class -1 Low

joeq.Class.jq_Method

Violation Line Priority
EI2: joeq.Class.jq_Method.load(char,char,char,byte[],jq_TryCatchBC[],jq_LineNumberBC[],java.util.Map) may expose internal representation by storing an externally mutable object into joeq.Class.jq_Method.bytecode 65 Normal
EI2: joeq.Class.jq_Method.load(char,char,char,byte[],jq_TryCatchBC[],jq_LineNumberBC[],java.util.Map) may expose internal representation by storing an externally mutable object into joeq.Class.jq_Method.exception_table 66 Normal
EI2: joeq.Class.jq_Method.load(char,char,char,byte[],jq_TryCatchBC[],jq_LineNumberBC[],java.util.Map) may expose internal representation by storing an externally mutable object into joeq.Class.jq_Method.line_num_table 67 Normal
EI: joeq.Class.jq_Method.getBytecode() may expose internal representation by returning joeq.Class.jq_Method.bytecode 350 Normal
EI: joeq.Class.jq_Method.getExceptionTable() may expose internal representation by returning joeq.Class.jq_Method.exception_table 355 Normal
EI: joeq.Class.jq_Method.getThrownExceptionsTable() may expose internal representation by returning joeq.Class.jq_Method.thrown_exceptions_table 359 Normal
EI: joeq.Class.jq_Method.getLineNumberTable() may expose internal representation by returning joeq.Class.jq_Method.line_num_table 381 Normal
EI: joeq.Class.jq_Method.getParamTypes() may expose internal representation by returning joeq.Class.jq_Method.param_types 382 Normal
Nm: Confusing to have methods joeq.Class.jq_Method.getBytecode() and joeq.Compiler.BytecodeAnalysis.Bytecodes$InstructionList.getByteCode() 349 Low

joeq.Class.PrimordialClassLoader$1

Violation Line Priority
It: joeq.Class.PrimordialClassLoader$1.next() can't throw NoSuchElement exception 292 Low

joeq.Runtime.BasicReflectionImpl

Violation Line Priority
ST: Write to static field joeq.Runtime.BasicReflectionImpl._class from instance method joeq.Runtime.BasicReflectionImpl.initialize() 587 Normal
ST: Write to static field joeq.Runtime.BasicReflectionImpl._declaredFieldsCache from instance method joeq.Runtime.BasicReflectionImpl.initialize() 588 Normal
UCF: Useless control flow in joeq.Runtime.BasicReflectionImpl.getJDKMember(joeq.Class.jq_Member) 257 Normal
UCF: Useless control flow in joeq.Runtime.BasicReflectionImpl.getJDKMember(joeq.Class.jq_Member) 270 Normal
UCF: Useless control flow in joeq.Runtime.BasicReflectionImpl.getJDKMember(joeq.Class.jq_Member) 287 Normal
BC: Unchecked/unconfirmed cast from joeq.Class.jq_Type to class joeq.Class.jq_Reference in joeq.Runtime.BasicReflectionImpl.getJDKType(joeq.Class.jq_Type) 72 Low
BC: Unchecked/unconfirmed cast from joeq.Class.jq_Type to class joeq.Class.jq_Primitive in joeq.Runtime.BasicReflectionImpl.getJDKType(joeq.Class.jq_Type) 70 Low
BC: Unchecked/unconfirmed cast from joeq.Class.jq_InstanceMethod to class joeq.Class.jq_Initializer in joeq.Runtime.BasicReflectionImpl.getJQMember(java.lang.reflect.Constructor) 166 Low
BC: Unchecked/unconfirmed cast from joeq.Class.jq_Member to class joeq.Class.jq_Method in joeq.Runtime.BasicReflectionImpl.getJDKMember(joeq.Class.jq_Member) 278 Low
MS: joeq.Runtime.BasicReflectionImpl.REPORT_JDK_ERRORS isn't final but should be 40 High
MS: joeq.Runtime.BasicReflectionImpl._class should be package protected -1 Normal
MS: joeq.Runtime.BasicReflectionImpl._declaredFieldsCache should be package protected -1 Normal

joeq.Runtime.SystemInterface

Violation Line Priority
PZLA: Should joeq.Runtime.SystemInterface.toCString(String) return a zero length array rather than null? 386 Low
MS: joeq.Runtime.SystemInterface.open_library_4 isn't final but should be -1 High
MS: joeq.Runtime.SystemInterface.get_proc_address_8 isn't final but should be -1 High
MS: joeq.Runtime.SystemInterface.close_library_4 isn't final but should be -1 High
MS: joeq.Runtime.SystemInterface.debugwrite_8 isn't final but should be -1 High
MS: joeq.Runtime.SystemInterface.debugwwrite_8 isn't final but should be -1 High
MS: joeq.Runtime.SystemInterface.debugwriteln_8 isn't final but should be -1 High
MS: joeq.Runtime.SystemInterface.debugwwriteln_8 isn't final but should be -1 High
MS: joeq.Runtime.SystemInterface.syscalloc_4 isn't final but should be -1 High
MS: joeq.Runtime.SystemInterface.sysfree_4 isn't final but should be -1 High
MS: joeq.Runtime.SystemInterface.die_4 isn't final but should be -1 High
MS: joeq.Runtime.SystemInterface.currentTimeMillis_0 isn't final but should be -1 High
MS: joeq.Runtime.SystemInterface.mem_cpy_12 isn't final but should be -1 High
MS: joeq.Runtime.SystemInterface.mem_set_12 isn't final but should be -1 High
MS: joeq.Runtime.SystemInterface.file_open_12 isn't final but should be -1 High
MS: joeq.Runtime.SystemInterface.file_stat_8 isn't final but should be -1 High
MS: joeq.Runtime.SystemInterface.file_readbytes_12 isn't final but should be -1 High
MS: joeq.Runtime.SystemInterface.file_writebyte_8 isn't final but should be -1 High
MS: joeq.Runtime.SystemInterface.file_writebytes_12 isn't final but should be -1 High
MS: joeq.Runtime.SystemInterface.file_sync_4 isn't final but should be -1 High
MS: joeq.Runtime.SystemInterface.file_seek_16 isn't final but should be -1 High
MS: joeq.Runtime.SystemInterface.file_close_4 isn't final but should be -1 High
MS: joeq.Runtime.SystemInterface.console_available_0 isn't final but should be -1 High
MS: joeq.Runtime.SystemInterface.main_argc_0 isn't final but should be -1 High
MS: joeq.Runtime.SystemInterface.main_argv_length_4 isn't final but should be -1 High
MS: joeq.Runtime.SystemInterface.main_argv_8 isn't final but should be -1 High
MS: joeq.Runtime.SystemInterface.fs_getdcwd_12 isn't final but should be -1 High
MS: joeq.Runtime.SystemInterface.fs_fullpath_12 isn't final but should be -1 High
MS: joeq.Runtime.SystemInterface.fs_gettruename_4 isn't final but should be -1 High
MS: joeq.Runtime.SystemInterface.fs_getfileattributes_4 isn't final but should be -1 High
MS: joeq.Runtime.SystemInterface.fs_access_8 isn't final but should be -1 High
MS: joeq.Runtime.SystemInterface.fs_getfiletime_4 isn't final but should be -1 High
MS: joeq.Runtime.SystemInterface.fs_stat_size_4 isn't final but should be -1 High
MS: joeq.Runtime.SystemInterface.fs_remove_4 isn't final but should be -1 High
MS: joeq.Runtime.SystemInterface.fs_opendir_4 isn't final but should be -1 High
MS: joeq.Runtime.SystemInterface.fs_readdir_4 isn't final but should be -1 High
MS: joeq.Runtime.SystemInterface.fs_closedir_4 isn't final but should be -1 High
MS: joeq.Runtime.SystemInterface.fs_mkdir_4 isn't final but should be -1 High
MS: joeq.Runtime.SystemInterface.fs_rename_8 isn't final but should be -1 High
MS: joeq.Runtime.SystemInterface.fs_chmod_8 isn't final but should be -1 High
MS: joeq.Runtime.SystemInterface.fs_setfiletime_12 isn't final but should be -1 High
MS: joeq.Runtime.SystemInterface.fs_getlogicaldrives_0 isn't final but should be -1 High
MS: joeq.Runtime.SystemInterface.yield_0 isn't final but should be -1 High
MS: joeq.Runtime.SystemInterface.msleep_4 isn't final but should be -1 High
MS: joeq.Runtime.SystemInterface.create_thread_8 isn't final but should be -1 High
MS: joeq.Runtime.SystemInterface.init_thread_0 isn't final but should be -1 High
MS: joeq.Runtime.SystemInterface.resume_thread_4 isn't final but should be -1 High
MS: joeq.Runtime.SystemInterface.suspend_thread_4 isn't final but should be -1 High
MS: joeq.Runtime.SystemInterface.set_thread_priority_8 isn't final but should be -1 High
MS: joeq.Runtime.SystemInterface.allocate_stack_4 isn't final but should be -1 High
MS: joeq.Runtime.SystemInterface.get_current_thread_handle_0 isn't final but should be -1 High
MS: joeq.Runtime.SystemInterface.get_thread_context_8 isn't final but should be -1 High
MS: joeq.Runtime.SystemInterface.set_thread_context_8 isn't final but should be -1 High
MS: joeq.Runtime.SystemInterface.set_current_context_8 isn't final but should be -1 High
MS: joeq.Runtime.SystemInterface.set_interval_timer_8 isn't final but should be -1 High
MS: joeq.Runtime.SystemInterface.init_semaphore_0 isn't final but should be -1 High
MS: joeq.Runtime.SystemInterface.wait_for_single_object_8 isn't final but should be -1 High
MS: joeq.Runtime.SystemInterface.release_semaphore_8 isn't final but should be -1 High

joeq.Runtime.ReflectionImpl

Violation Line Priority
ST: Write to static field joeq.Runtime.ReflectionImpl._class from instance method joeq.Runtime.ReflectionImpl.initialize() 1001 Normal
ST: Write to static field joeq.Runtime.ReflectionImpl._declaredFieldsCache from instance method joeq.Runtime.ReflectionImpl.initialize() 1002 Normal
ST: Write to static field joeq.Runtime.ReflectionImpl._declaredMethodsCache from instance method joeq.Runtime.ReflectionImpl.initialize() 1003 Normal
UCF: Useless control flow in joeq.Runtime.ReflectionImpl.getJDKMember(joeq.Class.jq_Member) 285 Normal
UCF: Useless control flow in joeq.Runtime.ReflectionImpl.getJDKMember(joeq.Class.jq_Member) 298 Normal
UCF: Useless control flow in joeq.Runtime.ReflectionImpl.getJDKMember(joeq.Class.jq_Member) 315 Normal
BC: Unchecked/unconfirmed cast from joeq.Class.jq_Type to class joeq.Class.jq_Primitive in joeq.Runtime.ReflectionImpl.getJDKType(joeq.Class.jq_Type) 78 Low
BC: Unchecked/unconfirmed cast from joeq.Class.jq_Type to class joeq.Class.jq_Reference in joeq.Runtime.ReflectionImpl.getJDKType(joeq.Class.jq_Type) 80 Low
BC: Unchecked/unconfirmed cast from joeq.Class.jq_InstanceMethod to class joeq.Class.jq_Initializer in joeq.Runtime.ReflectionImpl.getJQMember(java.lang.reflect.Constructor) 177 Low
BC: Unchecked/unconfirmed cast from joeq.Class.jq_Member to class joeq.Class.jq_Method in joeq.Runtime.ReflectionImpl.getJDKMember(joeq.Class.jq_Member) 306 Low
MS: joeq.Runtime.ReflectionImpl.REPORT_JDK_ERRORS isn't final but should be 43 High
MS: joeq.Runtime.ReflectionImpl._class should be package protected -1 Normal
MS: joeq.Runtime.ReflectionImpl._declaredFieldsCache should be package protected -1 Normal
MS: joeq.Runtime.ReflectionImpl._declaredMethodsCache should be package protected -1 Normal

joeq.Interpreter.QuadInterpreter

Violation Line Priority
DP: joeq.Interpreter.QuadInterpreter.invokeInstanceReflective(joeq.Class.jq_InstanceMethod,joeq.Compiler.Quad.Operand$ParamListOperand) invokes java.lang.reflect.Method.setAccessible(boolean), which should be invoked from within a doPrivileged block 137 Low
DP: joeq.Interpreter.QuadInterpreter.invokeStaticReflective(joeq.Class.jq_StaticMethod,joeq.Compiler.Quad.Operand$ParamListOperand) invokes java.lang.reflect.Method.setAccessible(boolean), which should be invoked from within a doPrivileged block 172 Low
DLS: Dead store to m2 in method joeq.Interpreter.QuadInterpreter.<clinit>() 193 Low
BC: Unchecked/unconfirmed cast from joeq.Class.jq_Method to class joeq.Class.jq_InstanceMethod in joeq.Interpreter.QuadInterpreter.invokeReflective(joeq.Class.jq_Method,joeq.Compiler.Quad.Operand$ParamListOperand) 91 Low
MS: joeq.Interpreter.QuadInterpreter.TRACE isn't final but should be 64 High
MS: joeq.Interpreter.QuadInterpreter.num_quads should be package protected 66 Normal
MS: joeq.Interpreter.QuadInterpreter.num_nullchecks should be package protected 67 Normal
MS: joeq.Interpreter.QuadInterpreter.interpret_filter isn't final but should be 199 High
UwF: Field not initialized in constructor: joeq.Interpreter.QuadInterpreter.cfg -1 Low
UwF: Field not initialized in constructor: joeq.Interpreter.QuadInterpreter.current_bb -1 Low
UwF: Field not initialized in constructor: joeq.Interpreter.QuadInterpreter.current_quad -1 Low
UwF: Field not initialized in constructor: joeq.Interpreter.QuadInterpreter.rf -1 Low

joeq.Main.Driver$1

Violation Line Priority
Se: joeq.Main.Driver$1 implements Comparator but not Serializable -1 Low

joeq.Scheduler.jq_x86RegisterState

Violation Line Priority
Nm: The field name joeq.Scheduler.jq_x86RegisterState.ContextFlags doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Scheduler.jq_x86RegisterState.Dr0 doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Scheduler.jq_x86RegisterState.Dr1 doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Scheduler.jq_x86RegisterState.Dr2 doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Scheduler.jq_x86RegisterState.Dr3 doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Scheduler.jq_x86RegisterState.Dr6 doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Scheduler.jq_x86RegisterState.Dr7 doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Scheduler.jq_x86RegisterState.ControlWord doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Scheduler.jq_x86RegisterState.StatusWord doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Scheduler.jq_x86RegisterState.TagWord doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Scheduler.jq_x86RegisterState.ErrorOffset doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Scheduler.jq_x86RegisterState.ErrorSelector doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Scheduler.jq_x86RegisterState.DataOffset doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Scheduler.jq_x86RegisterState.DataSelector doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Scheduler.jq_x86RegisterState.Cr0NpxState doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Scheduler.jq_x86RegisterState.SegGs doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Scheduler.jq_x86RegisterState.SegFs doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Scheduler.jq_x86RegisterState.SegEs doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Scheduler.jq_x86RegisterState.SegDs doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Scheduler.jq_x86RegisterState.Edi doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Scheduler.jq_x86RegisterState.Esi doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Scheduler.jq_x86RegisterState.Ebx doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Scheduler.jq_x86RegisterState.Edx doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Scheduler.jq_x86RegisterState.Ecx doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Scheduler.jq_x86RegisterState.Eax doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Scheduler.jq_x86RegisterState.Ebp doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Scheduler.jq_x86RegisterState.Eip doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Scheduler.jq_x86RegisterState.SegCs doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Scheduler.jq_x86RegisterState.Esp doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Scheduler.jq_x86RegisterState.SegSs doesn't start with an lower case letter -1 Low
UrF: Unread field: joeq.Scheduler.jq_x86RegisterState.ContextFlags -1 Normal
UrF: Unread field: joeq.Scheduler.jq_x86RegisterState.ControlWord -1 Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.Cr0NpxState -1 Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.DataOffset -1 Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.DataSelector -1 Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.Dr0 -1 Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.Dr1 -1 Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.Dr2 -1 Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.Dr3 -1 Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.Dr6 -1 Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.Dr7 -1 Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.EFlags -1 Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.Eax -1 Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.Ebx -1 Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.Ecx -1 Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.Edi -1 Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.Edx -1 Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.ErrorOffset -1 Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.ErrorSelector -1 Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.Esi -1 Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.SegCs -1 Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.SegDs -1 Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.SegEs -1 Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.SegFs -1 Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.SegGs -1 Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.SegSs -1 Normal
UrF: Unread field: joeq.Scheduler.jq_x86RegisterState.StatusWord -1 Normal
UrF: Unread field: joeq.Scheduler.jq_x86RegisterState.TagWord -1 Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.fp0_H -1 Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.fp0_L -1 Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.fp1_H -1 Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.fp1_L -1 Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.fp2_H -1 Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.fp2_L -1 Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.fp3_H -1 Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.fp3_L -1 Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.fp4_H -1 Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.fp4_L -1 Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.fp5_H -1 Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.fp5_L -1 Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.fp6_H -1 Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.fp6_L -1 Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.fp7_H -1 Normal
UuF: Unused field: joeq.Scheduler.jq_x86RegisterState.fp7_L -1 Normal

joeq.Compiler.BytecodeAnalysis.Bytecodes$AALOAD

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$AALOAD implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$AASTORE

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$AASTORE implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$ALOAD

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$ALOAD implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$ANEWARRAY

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$ANEWARRAY implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$ARETURN

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$ARETURN implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$BALOAD

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$BALOAD implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$BASTORE

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$BASTORE implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$CALOAD

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$CALOAD implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$CASTORE

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$CASTORE implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$CHECKCAST

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$CHECKCAST implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$D2F

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$D2F implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$D2I

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$D2I implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$D2L

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$D2L implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$DADD

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$DADD implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$DALOAD

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$DALOAD implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$DASTORE

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$DASTORE implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$DCONST

Violation Line Priority
FE: Test for floating point equality in joeq.Compiler.BytecodeAnalysis.Bytecodes$DCONST.<init>(double). 2725 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$DDIV

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$DDIV implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$DMUL

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$DMUL implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$DNEG

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$DNEG implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$DREM

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$DREM implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$DRETURN

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$DRETURN implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$DSUB

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$DSUB implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$F2D

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$F2D implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$F2I

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$F2I implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$F2L

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$F2L implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$FADD

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$FADD implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$FALOAD

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$FALOAD implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$FASTORE

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$FASTORE implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$FCONST

Violation Line Priority
FE: Test for floating point equality in joeq.Compiler.BytecodeAnalysis.Bytecodes$FCONST.<init>(float). 3416 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$FDIV

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$FDIV implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$FMUL

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$FMUL implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$FNEG

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$FNEG implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$FREM

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$FREM implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$FRETURN

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$FRETURN implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$FSUB

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$FSUB implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$GETFIELD

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$GETFIELD implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$GETSTATIC

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$GETSTATIC implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$GOTO

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$GOTO implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$GOTO_W

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$GOTO_W implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$I2B

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$I2B implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$I2C

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$I2C implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$I2D

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$I2D implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$I2F

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$I2F implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$I2L

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$I2L implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$I2S

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$I2S implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$IADD

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$IADD implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$IALOAD

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$IALOAD implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$IAND

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$IAND implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$IASTORE

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$IASTORE implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$IDIV

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$IDIV implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$IF_ACMPEQ

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$IF_ACMPEQ implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$IF_ACMPNE

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$IF_ACMPNE implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$IFEQ

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$IFEQ implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$IFGE

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$IFGE implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$IFGT

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$IFGT implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$IF_ICMPEQ

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$IF_ICMPEQ implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$IF_ICMPGE

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$IF_ICMPGE implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$IF_ICMPGT

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$IF_ICMPGT implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$IF_ICMPLE

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$IF_ICMPLE implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$IF_ICMPLT

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$IF_ICMPLT implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$IF_ICMPNE

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$IF_ICMPNE implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$IFLE

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$IFLE implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$IFLT

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$IFLT implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$IFNE

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$IFNE implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$IFNONNULL

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$IFNONNULL implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$IFNULL

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$IFNULL implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$IMUL

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$IMUL implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$INEG

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$INEG implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$INSTANCEOF

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$INSTANCEOF implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$INVOKEINTERFACE

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$INVOKEINTERFACE implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$INVOKESPECIAL

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$INVOKESPECIAL implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$INVOKESTATIC

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$INVOKESTATIC implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$INVOKEVIRTUAL

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$INVOKEVIRTUAL implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$IOR

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$IOR implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$IREM

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$IREM implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$IRETURN

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$IRETURN implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$ISHL

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$ISHL implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$ISHR

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$ISHR implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$ISUB

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$ISUB implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$IUSHR

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$IUSHR implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$IXOR

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$IXOR implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$JSR

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$JSR implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$JSR_W

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$JSR_W implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$L2D

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$L2D implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$L2F

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$L2F implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$L2I

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$L2I implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$LADD

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$LADD implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$LALOAD

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$LALOAD implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$LAND

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$LAND implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$LASTORE

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$LASTORE implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$LDC2_W

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$LDC2_W implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$LDC

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$LDC implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$LDIV

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$LDIV implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$LMUL

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$LMUL implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$LNEG

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$LNEG implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$LOR

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$LOR implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$LREM

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$LREM implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$LRETURN

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$LRETURN implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$LSHL

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$LSHL implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$LSHR

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$LSHR implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$LSUB

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$LSUB implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$LUSHR

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$LUSHR implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$LXOR

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$LXOR implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$MULTIANEWARRAY

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$MULTIANEWARRAY implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$NEW

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$NEW implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$PUTFIELD

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$PUTFIELD implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$PUTSTATIC

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$PUTSTATIC implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$RETURN

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$RETURN implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$SALOAD

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$SALOAD implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$SASTORE

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$SASTORE implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$TABLESWITCH

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$TABLESWITCH implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$FieldInstruction

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$FieldInstruction implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$InvokeInstruction

Violation Line Priority
RI: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$InvokeInstruction implements same interface as superclass. -1 Low

joeq.Compiler.BytecodeAnalysis.Bytecodes$CodeException

Violation Line Priority
Nm: Class joeq.Compiler.BytecodeAnalysis.Bytecodes$CodeException is not derived from an Exception, even though it is named as such -1 Normal

joeq.Compiler.BytecodeAnalysis.CallTargets

Violation Line Priority
BC: Unchecked/unconfirmed cast from joeq.Class.jq_Method to class joeq.Class.jq_StaticMethod in joeq.Compiler.BytecodeAnalysis.CallTargets.getTargets(joeq.Class.jq_Class,joeq.Class.jq_Method,byte,java.util.Set,boolean,boolean) 41 Low
BC: Unchecked/unconfirmed cast from joeq.Class.jq_Method to class joeq.Class.jq_InstanceMethod in joeq.Compiler.BytecodeAnalysis.CallTargets.getTargets(joeq.Class.jq_Class,joeq.Class.jq_Method,byte,java.util.Set,boolean,boolean) 42 Low
BC: Unchecked/unconfirmed cast from joeq.Class.jq_Reference to class joeq.Class.jq_Class in joeq.Compiler.BytecodeAnalysis.CallTargets.getTargets(joeq.Class.jq_Class,joeq.Class.jq_Method,byte,joeq.Class.jq_Reference,boolean,boolean) 197 Low
BC: Unchecked/unconfirmed cast from joeq.Class.jq_Method to class joeq.Class.jq_StaticMethod in joeq.Compiler.BytecodeAnalysis.CallTargets.getTargets(joeq.Class.jq_Class,joeq.Class.jq_Method,byte,joeq.Class.jq_Reference,boolean,boolean) 185 Low
BC: Unchecked/unconfirmed cast from joeq.Class.jq_Method to class joeq.Class.jq_InstanceMethod in joeq.Compiler.BytecodeAnalysis.CallTargets.getTargets(joeq.Class.jq_Class,joeq.Class.jq_Method,byte,joeq.Class.jq_Reference,boolean,boolean) 186 Low
BC: Unchecked/unconfirmed cast from joeq.Class.jq_Method to class joeq.Class.jq_StaticMethod in joeq.Compiler.BytecodeAnalysis.CallTargets.getTargets(joeq.Class.jq_Class,joeq.Class.jq_Method,byte,boolean) 418 Low
BC: Unchecked/unconfirmed cast from joeq.Class.jq_Method to class joeq.Class.jq_InstanceMethod in joeq.Compiler.BytecodeAnalysis.CallTargets.getTargets(joeq.Class.jq_Class,joeq.Class.jq_Method,byte,boolean) 419 Low

joeq.Compiler.Quad.Operand$FConstOperand

Violation Line Priority
FE: Test for floating point equality in joeq.Compiler.Quad.Operand$FConstOperand.isSimilar(Operand). 175 Low

joeq.Compiler.Quad.Operand$DConstOperand

Violation Line Priority
FE: Test for floating point equality in joeq.Compiler.Quad.Operand$DConstOperand.isSimilar(Operand). 215 Low

joeq.Compiler.Quad.CallGraph$2

Violation Line Priority
Se: joeq.Compiler.Quad.CallGraph$2 implements Comparator but not Serializable -1 Low

joeq.Compiler.Quad.AndersenPointerAnalysis

Violation Line Priority
Dm: joeq.Compiler.Quad.AndersenPointerAnalysis.iterate() forces garbage collection; extremely dubious except in benchmarking code 762 High
DLS: Dead store to nt_n1 in method joeq.Compiler.Quad.AndersenPointerAnalysis.initializeStatics(boolean) 490 Normal
DLS: Dead store to s in method joeq.Compiler.Quad.AndersenPointerAnalysis.markCollapsedNode(joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$OutsideNode) 1508 Normal
BC: Unchecked/unconfirmed cast from joeq.Class.jq_InstanceMethod to class joeq.Class.jq_Initializer in joeq.Compiler.Quad.AndersenPointerAnalysis.initializeStatics(boolean) 373 Low
MS: joeq.Compiler.Quad.AndersenPointerAnalysis.out isn't final but should be 57 High
MS: joeq.Compiler.Quad.AndersenPointerAnalysis.TRACE should be package protected 64 Normal
MS: joeq.Compiler.Quad.AndersenPointerAnalysis.FULL_DUMP isn't final but should be 84 High
MS: joeq.Compiler.Quad.AndersenPointerAnalysis.COMPARE_RTA isn't final but should be 89 High
MS: joeq.Compiler.Quad.AndersenPointerAnalysis.DO_TWICE isn't final but should be 94 High
MS: joeq.Compiler.Quad.AndersenPointerAnalysis.IGNORE_CLINIT isn't final but should be 99 High
MS: joeq.Compiler.Quad.AndersenPointerAnalysis.FORCE_GC isn't final but should be 121 High
MS: joeq.Compiler.Quad.AndersenPointerAnalysis.TRACK_REASONS isn't final but should be 145 High
MS: joeq.Compiler.Quad.AndersenPointerAnalysis.INSTANCE should be package protected 607 Normal
NP: Read of unwritten field in joeq.Compiler.Quad.AndersenPointerAnalysis.addInclusionBackEdge(joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$OutsideNode,joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$Node) 1029 Normal
NP: Read of unwritten field in joeq.Compiler.Quad.AndersenPointerAnalysis.addInclusionBackEdge(joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$OutsideNode,joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$Node) 1027 Normal
UwF: Field only ever set to null: joeq.Compiler.Quad.AndersenPointerAnalysis.nodeToIncomingInclusionEdges -1 High
UuF: Unused field: joeq.Compiler.Quad.AndersenPointerAnalysis.changedFields_Methods -1 Normal
UuF: Unused field: joeq.Compiler.Quad.AndersenPointerAnalysis.newChangedFields -1 Normal
UuF: Unused field: joeq.Compiler.Quad.AndersenPointerAnalysis.oldChangedFields -1 Normal

joeq.Compiler.Quad.DotGraph$dot

Violation Line Priority
Nm: The class name joeq.Compiler.Quad.DotGraph$dot doesn't start with an upper case letter -1 Normal

joeq.Compiler.Quad.LoadedCallGraph$1

Violation Line Priority
Se: joeq.Compiler.Quad.LoadedCallGraph$1 implements Comparator but not Serializable -1 Low

joeq.Compiler.Quad.LoadedCallGraph$2

Violation Line Priority
Se: joeq.Compiler.Quad.LoadedCallGraph$2 implements Comparator but not Serializable -1 Low

joeq.Compiler.Quad.LoadedCallGraph$3

Violation Line Priority
Se: joeq.Compiler.Quad.LoadedCallGraph$3 implements Comparator but not Serializable -1 Low

joeq.Compiler.Quad.PointerExplorer$1

Violation Line Priority
Se: joeq.Compiler.Quad.PointerExplorer$1 implements Comparator but not Serializable -1 Low

joeq.Compiler.Quad.PointerExplorer

Violation Line Priority
Dm: joeq.Compiler.Quad.PointerExplorer.getMethod(String[],int) invokes System.exit(...), which shuts down the entire virtual machine 86 Low
Dm: joeq.Compiler.Quad.PointerExplorer.getMethod(joeq.Class.jq_Class,String) invokes System.exit(...), which shuts down the entire virtual machine 111 Low
NP: Possible null pointer dereference in joeq.Compiler.Quad.PointerExplorer.getMethod(joeq.Class.jq_Class,String) due to return value of called method 129 Normal
NP: Possible null pointer dereference in joeq.Compiler.Quad.PointerExplorer.selectCallSites(String,java.util.Iterator,java.util.Iterator) due to return value of called method 192 Normal
NP: Possible null pointer dereference in joeq.Compiler.Quad.PointerExplorer.printAllInclusionEdges(java.util.HashSet,joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$Node,joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$Node,String,boolean,joeq.Class.jq_Field,boolean) due to return value of called method 264 Normal
DLS: Dead store to result in method joeq.Compiler.Quad.PointerExplorer.setDepth(java.util.LinkedHashSet,java.util.HashMap,joeq.Class.jq_Method) 396 Normal
DLS: Dead store to result in method joeq.Compiler.Quad.PointerExplorer.setDepth_clone(java.util.HashMap,java.util.HashMap,java.util.LinkedHashSet,java.util.HashMap,joeq.Class.jq_Method) 505 Normal
MS: joeq.Compiler.Quad.PointerExplorer.apa should be package protected -1 Normal
MS: joeq.Compiler.Quad.PointerExplorer.callGraph should be package protected -1 Normal
MS: joeq.Compiler.Quad.PointerExplorer.rootSet isn't final but should be 174 High
MS: joeq.Compiler.Quad.PointerExplorer.selectedCallSites isn't final but should be 175 High
MS: joeq.Compiler.Quad.PointerExplorer.methodToCallSites isn't final but should be 176 High
MS: joeq.Compiler.Quad.PointerExplorer.toInline should be package protected 177 Normal
MS: joeq.Compiler.Quad.PointerExplorer.inlineCommands isn't final but should be 178 High

joeq.Compiler.Dataflow.BBComparator

Violation Line Priority
Se: joeq.Compiler.Dataflow.BBComparator implements Comparator but not Serializable -1 Normal

joeq.ClassLib.Common.InterfaceImpl

Violation Line Priority
BC: Impossible cast from java.lang.reflect.Constructor to class joeq.ClassLib.Common.java.lang.reflect.Constructor in joeq.ClassLib.Common.InterfaceImpl.initNewConstructor(java.lang.reflect.Constructor,joeq.Class.jq_Initializer) 262 High
BC: Impossible cast from java.lang.reflect.Field to class joeq.ClassLib.Common.java.lang.reflect.Field in joeq.ClassLib.Common.InterfaceImpl.initNewField(java.lang.reflect.Field,joeq.Class.jq_Field) 273 High
BC: Impossible cast from java.lang.reflect.Method to class joeq.ClassLib.Common.java.lang.reflect.Method in joeq.ClassLib.Common.InterfaceImpl.initNewMethod(java.lang.reflect.Method,joeq.Class.jq_Method) 284 High
BC: Impossible cast from java.lang.reflect.Field to class joeq.ClassLib.Common.java.lang.reflect.Field in joeq.ClassLib.Common.InterfaceImpl.getJQField(java.lang.reflect.Field) 290 High
BC: Impossible cast from java.lang.reflect.Constructor to class joeq.ClassLib.Common.java.lang.reflect.Constructor in joeq.ClassLib.Common.InterfaceImpl.getJQInitializer(java.lang.reflect.Constructor) 296 High
BC: Impossible cast from java.lang.reflect.Method to class joeq.ClassLib.Common.java.lang.reflect.Method in joeq.ClassLib.Common.InterfaceImpl.getJQMethod(java.lang.reflect.Method) 302 High
BC: Impossible cast from java.lang.Class to class joeq.ClassLib.Common.java.lang.Class in joeq.ClassLib.Common.InterfaceImpl.getJQType(Class) 308 High
BC: Impossible cast from java.lang.ClassLoader to class joeq.ClassLib.Common.java.lang.ClassLoader in joeq.ClassLib.Common.InterfaceImpl.getOrCreateType(ClassLoader,joeq.UTF.Utf8) 314 High
BC: Impossible cast from java.lang.ClassLoader to class joeq.ClassLib.Common.java.lang.ClassLoader in joeq.ClassLib.Common.InterfaceImpl.unloadType(ClassLoader,joeq.Class.jq_Type) 320 High
BC: Impossible cast from java.util.zip.ZipFile to class joeq.ClassLib.Common.java.util.zip.ZipFile in joeq.ClassLib.Common.InterfaceImpl.init_zipfile(java.util.zip.ZipFile,String) 326 High
BC: Impossible cast from java.util.zip.Inflater to class joeq.ClassLib.Common.java.util.zip.Inflater in joeq.ClassLib.Common.InterfaceImpl.init_inflater(java.util.zip.Inflater,boolean) 332 High
BC: Impossible cast from java.lang.Thread to class joeq.ClassLib.Common.java.lang.Thread in joeq.ClassLib.Common.InterfaceImpl.getJQThread(Thread) 343 High

joeq.Util.Templates.UnmodifiableList$jq_Class$Iterator

Violation Line Priority
It: joeq.Util.Templates.UnmodifiableList$jq_Class$Iterator.next() can't throw NoSuchElement exception 33 Normal

joeq.Util.Templates.UnmodifiableList$RegisterOperand$Iterator

Violation Line Priority
It: joeq.Util.Templates.UnmodifiableList$RegisterOperand$Iterator.next() can't throw NoSuchElement exception 65 Normal

joeq.Util.Templates.UnmodifiableList$Operand$Iterator

Violation Line Priority
It: joeq.Util.Templates.UnmodifiableList$Operand$Iterator.next() can't throw NoSuchElement exception 93 Normal

joeq.Util.Templates.UnmodifiableList$BasicBlock$Iterator

Violation Line Priority
It: joeq.Util.Templates.UnmodifiableList$BasicBlock$Iterator.next() can't throw NoSuchElement exception 115 Normal

joeq.Util.Templates.UnmodifiableList$Quad$Iterator

Violation Line Priority
It: joeq.Util.Templates.UnmodifiableList$Quad$Iterator.next() can't throw NoSuchElement exception 138 Normal

joeq.Linker.ELF.ELFRandomAccessFile

Violation Line Priority
DLS: Dead store to e_phoff in method joeq.Linker.ELF.ELFRandomAccessFile.readHeader() 51 Normal

joeq.Compiler.Quad.IPA.Solver

Violation Line Priority
DLS: Dead store to time in method joeq.Compiler.Quad.IPA.Solver.go() 42 Low

joeq.Compiler.Analysis.BDD.BuildBDDIR

Violation Line Priority
OS: joeq.Compiler.Analysis.BDD.BuildBDDIR.loadOpMap() may fail to close stream on exception 179 Low

joeq.Compiler.Analysis.IPA.ProgramLocation$FakeProgramLocation

Violation Line Priority
PZLA: Should joeq.Compiler.Analysis.IPA.ProgramLocation$FakeProgramLocation.getParamTypes() return a zero length array rather than null? 527 Low

joeq.Compiler.Analysis.IPA.ProgramLocation$PlaceholderParameterProgramLocation

Violation Line Priority
PZLA: Should joeq.Compiler.Analysis.IPA.ProgramLocation$PlaceholderParameterProgramLocation.getParamTypes() return a zero length array rather than null? 566 Low

joeq.Compiler.Analysis.IPA.PA

Violation Line Priority
NP: Load of known null value in joeq.Compiler.Analysis.IPA.PA.countCallGraph(joeq.Compiler.Quad.CallGraph,ObjectCreationGraph,boolean) 4233 Low
NP: Load of known null value in joeq.Compiler.Analysis.IPA.PA.countHeapNumbering(joeq.Compiler.Quad.CallGraph,boolean) 4538 Low
Nm: The field name joeq.Compiler.Analysis.IPA.PA.Vmap doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Compiler.Analysis.IPA.PA.Imap doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Compiler.Analysis.IPA.PA.Hmap doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Compiler.Analysis.IPA.PA.Fmap doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Compiler.Analysis.IPA.PA.Tmap doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Compiler.Analysis.IPA.PA.Nmap doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Compiler.Analysis.IPA.PA.Mmap doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Compiler.Analysis.IPA.PA.Cmap doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Compiler.Analysis.IPA.PA.Iret doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Compiler.Analysis.IPA.PA.Mret doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Compiler.Analysis.IPA.PA.Ithr doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Compiler.Analysis.IPA.PA.Mthr doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Compiler.Analysis.IPA.PA.ItoI2 doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Compiler.Analysis.IPA.PA.Fset doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Compiler.Analysis.IPA.PA.Mset doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Compiler.Analysis.IPA.PA.Nset doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Compiler.Analysis.IPA.PA.Cset doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Compiler.Analysis.IPA.PA.Iset doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Compiler.Analysis.IPA.PA.Zset doesn't start with an lower case letter -1 Low
ST: Write to static field joeq.Compiler.Analysis.IPA.PA.printed from instance method joeq.Compiler.Analysis.IPA.PA.getBDDDomains(net.sf.javabdd.BDD) 2081 High
RCN: Redundant nullcheck of value known to be non-null joeq.Compiler.Analysis.IPA.PA.bindForName() 2561 Normal
RCN: Redundant nullcheck of value known to be non-null joeq.Compiler.Analysis.IPA.PA.bindForName() 2580 Low
RCN: Redundant nullcheck of value known to be non-null joeq.Compiler.Analysis.IPA.PA.bindForName() 2586 Normal
RCN: Redundant nullcheck of value known to be non-null joeq.Compiler.Analysis.IPA.PA.bindForName() 2609 Normal
OS: joeq.Compiler.Analysis.IPA.PA.initializeHeapLocations() may fail to close stream 3277 Normal
UCF: Useless control flow in joeq.Compiler.Analysis.IPA.PA.initializeBDD(String) 329 Normal
UCF: Useless control flow in joeq.Compiler.Analysis.IPA.PA.initializeBDD(String) 361 Normal
UCF: Useless control flow in joeq.Compiler.Analysis.IPA.PA.initializeBDD(String) 549 Normal
UCF: Useless control flow in joeq.Compiler.Analysis.IPA.PA.getV1V2Context(joeq.Class.jq_Method) 1115 Normal
UCF: Useless control flow in joeq.Compiler.Analysis.IPA.PA.run(String,joeq.Compiler.Quad.CallGraph,java.util.Collection) 3110 Normal
UCF: Useless control flow in joeq.Compiler.Analysis.IPA.PA.run(String,joeq.Compiler.Quad.CallGraph,java.util.Collection) 3219 Normal
UCF: Useless control flow in joeq.Compiler.Analysis.IPA.PA.getV1H1Context(joeq.Class.jq_Method) 4625 Normal
UPM: Private method joeq.Compiler.Analysis.IPA.PA.makeHQuadbdd() is never called 5414 Low
DLS: Dead store to s in method joeq.Compiler.Analysis.IPA.PA.visitMethod(joeq.Class.jq_Method) 1054 High
DLS: Dead store to H_i in method joeq.Compiler.Analysis.IPA.PA.bindReflectionsWithCasts() 2502 Low
DLS: Dead store to roots in method joeq.Compiler.Analysis.IPA.PA.loadCallGraph(java.util.Collection) 3061 Normal
FE: Test for floating point equality in joeq.Compiler.Analysis.IPA.PA.saveForNameStats(). 3394 Low
MS: joeq.Compiler.Analysis.IPA.PA.TRACE_REFLECTION isn't final but should be 179 High
MS: joeq.Compiler.Analysis.IPA.PA.TRACE_REFLECTION_DOMAINS isn't final but should be 180 High
MS: joeq.Compiler.Analysis.IPA.PA.THREADS_ONLY isn't final but should be 4272 High
MS: joeq.Compiler.Analysis.IPA.PA.MATCH_FACTORY isn't final but should be 4339 High
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.A -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.C -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.Cmap -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.F -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.Fmap -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.Fset -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.H1 -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.H1cdomain -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.H1set -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.H2 -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.Hmap -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.I -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.IE -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.IEcs -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.IEfilter -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.IMset -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.INset -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.Imap -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.Iret -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.Iset -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.Ithr -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.L -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.M -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.M2 -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.MZset -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.Mmap -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.Mret -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.Mset -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.Mthr -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.N -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.NNfilter -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.Nmap -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.S -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.STR -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.STRmap -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.T1 -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.T1set -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.T2 -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.T2Nset -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.Tmap -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.V1 -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.V1H1correspondence -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.V1cdomain -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.V1cset -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.V1set -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.V2 -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.V2cdomain -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.V2cset -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.Vmap -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.Z -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.aT -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.actual -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.bdd -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.bddIRBuilder -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.cha -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.fC -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.fT -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.forNameMap -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.formal -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.hCnumbering -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.hP -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.hPfilter -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.hT -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.mC -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.mI -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.mSync -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.mV -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.oCnumbering -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.old1_A -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.old1_L -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.old1_S -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.old1_hP -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.old1_vP -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.old2_myIE -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.old2_visited -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.old3_hT -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.old3_t3 -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.old3_t4 -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.old3_vP -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.polyClasses -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.rangeMap -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.staticCalls -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.sync -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.threadNumbers -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.threadRuns -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.vCnumbering -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.vP -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.vPfilter -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.PA.vT -1 Low
UwF: Unwritten field: joeq.Compiler.Analysis.IPA.PA.H1toV1c -1 Normal
UwF: Unwritten field: joeq.Compiler.Analysis.IPA.PA.V1cH1equals -1 Normal
UwF: Unwritten field: joeq.Compiler.Analysis.IPA.PA.V1csets -1 Normal
UwF: Unwritten field: joeq.Compiler.Analysis.IPA.PA.V1ctoH1 -1 Normal
UrF: Unread field: joeq.Compiler.Analysis.IPA.PA.Cset -1 Normal
UrF: Unread field: joeq.Compiler.Analysis.IPA.PA.hQuad -1 Normal
UrF: Unread field: joeq.Compiler.Analysis.IPA.PA.removedCalls -1 Normal

joeq.Compiler.Analysis.IPA.SubtypeHelper$OfflineSubtypeHelper

Violation Line Priority
OS: joeq.Compiler.Analysis.IPA.SubtypeHelper$OfflineSubtypeHelper.initializeSubclasses() may fail to close stream 136 Normal

joeq.Compiler.Analysis.IPA.PACallGraph$BDDSet$1

Violation Line Priority
It: joeq.Compiler.Analysis.IPA.PACallGraph$BDDSet$1.next() can't throw NoSuchElement exception 114 Low

joeq.Compiler.Analysis.IPA.PAProxy

Violation Line Priority
Nm: The field name joeq.Compiler.Analysis.IPA.PAProxy.VerifyAssertions doesn't start with an lower case letter -1 Normal
Nm: The field name joeq.Compiler.Analysis.IPA.PAProxy.Vmap doesn't start with an lower case letter -1 Normal
Nm: The field name joeq.Compiler.Analysis.IPA.PAProxy.Imap doesn't start with an lower case letter -1 Normal
Nm: The field name joeq.Compiler.Analysis.IPA.PAProxy.Hmap doesn't start with an lower case letter -1 Normal
Nm: The field name joeq.Compiler.Analysis.IPA.PAProxy.Fmap doesn't start with an lower case letter -1 Normal
Nm: The field name joeq.Compiler.Analysis.IPA.PAProxy.Tmap doesn't start with an lower case letter -1 Normal
Nm: The field name joeq.Compiler.Analysis.IPA.PAProxy.Nmap doesn't start with an lower case letter -1 Normal
Nm: The field name joeq.Compiler.Analysis.IPA.PAProxy.Mmap doesn't start with an lower case letter -1 Normal
Nm: The field name joeq.Compiler.Analysis.IPA.PAProxy.Iret doesn't start with an lower case letter -1 Normal
Nm: The field name joeq.Compiler.Analysis.IPA.PAProxy.Mret doesn't start with an lower case letter -1 Normal
Nm: The field name joeq.Compiler.Analysis.IPA.PAProxy.Ithr doesn't start with an lower case letter -1 Normal
Nm: The field name joeq.Compiler.Analysis.IPA.PAProxy.Mthr doesn't start with an lower case letter -1 Normal
Nm: The field name joeq.Compiler.Analysis.IPA.PAProxy.Fset doesn't start with an lower case letter -1 Normal
Nm: The field name joeq.Compiler.Analysis.IPA.PAProxy.Mset doesn't start with an lower case letter -1 Normal
Nm: The field name joeq.Compiler.Analysis.IPA.PAProxy.Nset doesn't start with an lower case letter -1 Normal
Nm: The field name joeq.Compiler.Analysis.IPA.PAProxy.Iset doesn't start with an lower case letter -1 Normal
Nm: The field name joeq.Compiler.Analysis.IPA.PAProxy.Zset doesn't start with an lower case letter -1 Normal
ST: Write to static field joeq.Compiler.Analysis.IPA.PAProxy.VerifyAssertions from instance method joeq.Compiler.Analysis.IPA.PAProxy.<init>(PA) 11 High
ST: Write to static field joeq.Compiler.Analysis.IPA.PAProxy.WRITE_PARESULTS_BATCHFILE from instance method joeq.Compiler.Analysis.IPA.PAProxy.<init>(PA) 12 Normal
ST: Write to static field joeq.Compiler.Analysis.IPA.PAProxy.USE_JOEQ_CLASSLIBS from instance method joeq.Compiler.Analysis.IPA.PAProxy.<init>(PA) 20 Normal
ST: Write to static field joeq.Compiler.Analysis.IPA.PAProxy.resultsFileName from instance method joeq.Compiler.Analysis.IPA.PAProxy.<init>(PA) 44 Normal
ST: Write to static field joeq.Compiler.Analysis.IPA.PAProxy.callgraphFileName from instance method joeq.Compiler.Analysis.IPA.PAProxy.<init>(PA) 45 Normal
ST: Write to static field joeq.Compiler.Analysis.IPA.PAProxy.initialCallgraphFileName from instance method joeq.Compiler.Analysis.IPA.PAProxy.<init>(PA) 46 Normal
ST: Write to static field joeq.Compiler.Analysis.IPA.PAProxy.main_method from instance method joeq.Compiler.Analysis.IPA.PAProxy.<init>(PA) 185 Normal
ST: Write to static field joeq.Compiler.Analysis.IPA.PAProxy.run_method from instance method joeq.Compiler.Analysis.IPA.PAProxy.<init>(PA) 186 Normal
ST: Write to static field joeq.Compiler.Analysis.IPA.PAProxy.thread_runs from instance method joeq.Compiler.Analysis.IPA.PAProxy.<init>(PA) 201 Normal
ST: Write to static field joeq.Compiler.Analysis.IPA.PAProxy.THREADS_ONLY from instance method joeq.Compiler.Analysis.IPA.PAProxy.<init>(PA) 203 Normal
ST: Write to static field joeq.Compiler.Analysis.IPA.PAProxy.polyClasses from instance method joeq.Compiler.Analysis.IPA.PAProxy.<init>(PA) 205 Normal
ST: Write to static field joeq.Compiler.Analysis.IPA.PAProxy.MATCH_FACTORY from instance method joeq.Compiler.Analysis.IPA.PAProxy.<init>(PA) 206 Normal
MS: joeq.Compiler.Analysis.IPA.PAProxy.VerifyAssertions should be package protected -1 Normal
MS: joeq.Compiler.Analysis.IPA.PAProxy.WRITE_PARESULTS_BATCHFILE should be package protected -1 Normal
MS: joeq.Compiler.Analysis.IPA.PAProxy.USE_JOEQ_CLASSLIBS should be package protected -1 Normal
MS: joeq.Compiler.Analysis.IPA.PAProxy.resultsFileName should be package protected -1 Normal
MS: joeq.Compiler.Analysis.IPA.PAProxy.callgraphFileName should be package protected -1 Normal
MS: joeq.Compiler.Analysis.IPA.PAProxy.initialCallgraphFileName should be package protected -1 Normal
MS: joeq.Compiler.Analysis.IPA.PAProxy.main_method should be package protected -1 Normal
MS: joeq.Compiler.Analysis.IPA.PAProxy.run_method should be package protected -1 Normal
MS: joeq.Compiler.Analysis.IPA.PAProxy.thread_runs should be package protected -1 Normal
MS: joeq.Compiler.Analysis.IPA.PAProxy.THREADS_ONLY should be package protected -1 Normal
MS: joeq.Compiler.Analysis.IPA.PAProxy.polyClasses should be package protected -1 Normal
MS: joeq.Compiler.Analysis.IPA.PAProxy.MATCH_FACTORY should be package protected -1 Normal

joeq.Compiler.Analysis.IPA.PAQuery$HeapReferenceStat

Violation Line Priority
DLS: Dead store to $l4 in method joeq.Compiler.Analysis.IPA.PAQuery$HeapReferenceStat.visitMethod(joeq.Class.jq_Method) 257 Low

joeq.Compiler.Analysis.FlowInsensitive.BogusSummaryProvider

Violation Line Priority
ST: Write to static field joeq.Compiler.Analysis.FlowInsensitive.BogusSummaryProvider.realString from instance method joeq.Compiler.Analysis.FlowInsensitive.BogusSummaryProvider.<init>() 42 Normal
ST: Write to static field joeq.Compiler.Analysis.FlowInsensitive.BogusSummaryProvider.realStringBuffer from instance method joeq.Compiler.Analysis.FlowInsensitive.BogusSummaryProvider.<init>() 43 Normal
ST: Write to static field joeq.Compiler.Analysis.FlowInsensitive.BogusSummaryProvider.realHashMap from instance method joeq.Compiler.Analysis.FlowInsensitive.BogusSummaryProvider.<init>() 44 Normal
ST: Write to static field joeq.Compiler.Analysis.FlowInsensitive.BogusSummaryProvider.realVector from instance method joeq.Compiler.Analysis.FlowInsensitive.BogusSummaryProvider.<init>() 45 Normal
ST: Write to static field joeq.Compiler.Analysis.FlowInsensitive.BogusSummaryProvider.realHashtable from instance method joeq.Compiler.Analysis.FlowInsensitive.BogusSummaryProvider.<init>() 46 Normal
ST: Write to static field joeq.Compiler.Analysis.FlowInsensitive.BogusSummaryProvider.realArrayList from instance method joeq.Compiler.Analysis.FlowInsensitive.BogusSummaryProvider.<init>() 47 Normal
ST: Write to static field joeq.Compiler.Analysis.FlowInsensitive.BogusSummaryProvider.realLinkedList from instance method joeq.Compiler.Analysis.FlowInsensitive.BogusSummaryProvider.<init>() 48 Normal
ST: Write to static field joeq.Compiler.Analysis.FlowInsensitive.BogusSummaryProvider.realCookie from instance method joeq.Compiler.Analysis.FlowInsensitive.BogusSummaryProvider.<init>() 49 Normal
ST: Write to static field joeq.Compiler.Analysis.FlowInsensitive.BogusSummaryProvider.fakeString from instance method joeq.Compiler.Analysis.FlowInsensitive.BogusSummaryProvider.<init>() 53 Normal
ST: Write to static field joeq.Compiler.Analysis.FlowInsensitive.BogusSummaryProvider.fakeStringBuffer from instance method joeq.Compiler.Analysis.FlowInsensitive.BogusSummaryProvider.<init>() 54 Normal
ST: Write to static field joeq.Compiler.Analysis.FlowInsensitive.BogusSummaryProvider.fakeHashMap from instance method joeq.Compiler.Analysis.FlowInsensitive.BogusSummaryProvider.<init>() 55 Normal
ST: Write to static field joeq.Compiler.Analysis.FlowInsensitive.BogusSummaryProvider.fakeVector from instance method joeq.Compiler.Analysis.FlowInsensitive.BogusSummaryProvider.<init>() 56 Normal
ST: Write to static field joeq.Compiler.Analysis.FlowInsensitive.BogusSummaryProvider.fakeHashtable from instance method joeq.Compiler.Analysis.FlowInsensitive.BogusSummaryProvider.<init>() 57 Normal
ST: Write to static field joeq.Compiler.Analysis.FlowInsensitive.BogusSummaryProvider.fakeArrayList from instance method joeq.Compiler.Analysis.FlowInsensitive.BogusSummaryProvider.<init>() 58 Normal
ST: Write to static field joeq.Compiler.Analysis.FlowInsensitive.BogusSummaryProvider.fakeLinkedList from instance method joeq.Compiler.Analysis.FlowInsensitive.BogusSummaryProvider.<init>() 59 Normal
UwF: Unwritten field: joeq.Compiler.Analysis.FlowInsensitive.BogusSummaryProvider.fakeCookie -1 Normal

joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary

Violation Line Priority
UCF: Useless control flow in joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary.getRegister(joeq.Compiler.Quad.RegisterFactory$Register) 373 Normal
UCF: Useless control flow in joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary.<init>(joeq.Compiler.Quad.ControlFlowGraph) 410 Normal
CI: Class joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary.method -1 Low
CI: Class joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary.rf -1 Low
CI: Class joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary.param_nodes -1 Low
CI: Class joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary.my_global -1 Low
CI: Class joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary.start_states -1 Low
CI: Class joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary.returned -1 Low
CI: Class joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary.thrown -1 Low
CI: Class joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary.methodCalls -1 Low
CI: Class joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary.callToRVN -1 Low
CI: Class joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary.callToTEN -1 Low
CI: Class joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary.castMap -1 Low
CI: Class joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary.castPredecessors -1 Low
CI: Class joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary.passedAsParameter -1 Low
CI: Class joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary.bb -1 Low
CI: Class joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary.s -1 Low
CI: Class joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary.change -1 Low
CI: Class joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary.sync_ops -1 Low
CI: Class joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary.nodeCache -1 Low
MS: joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$BuildMethodSummary.PATCH_UP_FAKE isn't final but should be 676 High

joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$UnknownTypeNode

Violation Line Priority
UPM: Private method joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$UnknownTypeNode.addDummyEdges() is never called 2668 Low

joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$State

Violation Line Priority
CN: Class joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$State implements Cloneable but does not define or use clone method -1 Normal

joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$NodeSet$1

Violation Line Priority
It: joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$NodeSet$1.next() can't throw NoSuchElement exception 3772 Normal

joeq.Compiler.Analysis.FlowInsensitive.MethodSummary

Violation Line Priority
HE: joeq.Compiler.Analysis.FlowInsensitive.MethodSummary defines hashCode and uses Object.equals() -1 Low
EI2: joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.<init>(MethodSummary$ParamNode[]) may expose internal representation by storing an externally mutable object into joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.params 4190 Normal
EI2: joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.<init>(MethodSummary$BuildMethodSummary,joeq.Class.jq_Method,MethodSummary$ParamNode[],MethodSummary$GlobalNode,java.util.Set,java.util.Map,java.util.Map,java.util.Map,java.util.Set,java.util.Set,java.util.Set,java.util.Set,java.util.Map) may expose internal representation by storing an externally mutable object into joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.params 4219 Normal
NS: Questionable use of non-short-circuit logic in joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.getSummary(joeq.Class.jq_Method) 222 Normal
RCN: Redundant nullcheck of value known to be non-null joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.unifyAccessPaths(java.util.Set) 4553 Normal
DLS: Dead store to n2 in method joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.unifyAccessPathEdges(MethodSummary$Node) 4584 Low
BC: Unchecked/unconfirmed cast from joeq.Class.jq_InstanceMethod to class joeq.Class.jq_FakeInstanceMethod in joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.main(String[]) 5307 Low
BC: Unchecked/unconfirmed cast from joeq.Class.jq_Method to class joeq.Class.jq_FakeInstanceMethod in joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.fakeMethodSummary(joeq.Class.jq_Method) 5366 Low
MS: joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.out isn't final but should be 111 High
MS: joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.TRACE_INTRA isn't final and can't be protected from malicious code 112 Normal
MS: joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.TRACE_INTER isn't final and can't be protected from malicious code 113 Normal
MS: joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.TRACE_INST isn't final and can't be protected from malicious code 114 Normal
MS: joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.TRACE_DOT isn't final but should be 115 High
MS: joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.SSA isn't final but should be 120 High
MS: joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.ssaEntered isn't final but should be 127 High
MS: joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.stringNodes2Values isn't final but should be 128 High
MS: joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.summary_cache isn't final but should be 150 High
MS: joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.clone_cache isn't final and can't be protected from malicious code -1 Normal
MS: joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.CACHE_BUILDER isn't final but should be 4203 High
MS: joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.fakeCloneName isn't final but should be 5409 High

joeq.Compiler.Analysis.FlowInsensitive.SummaryToTuples

Violation Line Priority
Nm: The field name joeq.Compiler.Analysis.FlowInsensitive.SummaryToTuples.Vmap doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Compiler.Analysis.FlowInsensitive.SummaryToTuples.Imap doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Compiler.Analysis.FlowInsensitive.SummaryToTuples.Hmap doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Compiler.Analysis.FlowInsensitive.SummaryToTuples.Fmap doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Compiler.Analysis.FlowInsensitive.SummaryToTuples.Tmap doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Compiler.Analysis.FlowInsensitive.SummaryToTuples.Nmap doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Compiler.Analysis.FlowInsensitive.SummaryToTuples.Mmap doesn't start with an lower case letter -1 Low
DLS: Dead store to $l5 in method joeq.Compiler.Analysis.FlowInsensitive.SummaryToTuples.main(String[]) 1167 Low
MS: joeq.Compiler.Analysis.FlowInsensitive.SummaryToTuples.TRACE isn't final but should be 238 High
MS: joeq.Compiler.Analysis.FlowInsensitive.SummaryToTuples.out isn't final but should be 239 High
MS: joeq.Compiler.Analysis.FlowInsensitive.SummaryToTuples.USE_HMAP isn't final but should be 276 High
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.FlowInsensitive.SummaryToTuples.aT -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.FlowInsensitive.SummaryToTuples.cha -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.FlowInsensitive.SummaryToTuples.clinit -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.FlowInsensitive.SummaryToTuples.f_access -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.FlowInsensitive.SummaryToTuples.fields -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.FlowInsensitive.SummaryToTuples.hT -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.FlowInsensitive.SummaryToTuples.m_access -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.FlowInsensitive.SummaryToTuples.methods -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.FlowInsensitive.SummaryToTuples.vT -1 Low
UrF: Unread field: joeq.Compiler.Analysis.FlowInsensitive.SummaryToTuples.throwable_class -1 Normal

joeq.Compiler.Analysis.IPSSA.SSAValue$Phi

Violation Line Priority
SBSC: Method joeq.Compiler.Analysis.IPSSA.SSAValue$Phi.toString() concatenates strings using + in a loop 199 Normal

joeq.Compiler.Analysis.IPSSA.SSAValue$Predicated

Violation Line Priority
SBSC: Method joeq.Compiler.Analysis.IPSSA.SSAValue$Predicated.toString() concatenates strings using + in a loop 252 Normal

joeq.Compiler.Analysis.IPSSA.SSAValue$FormalIn

Violation Line Priority
SBSC: Method joeq.Compiler.Analysis.IPSSA.SSAValue$FormalIn.toString() concatenates strings using + in a loop 334 Normal

joeq.Compiler.Analysis.IPSSA.SSAValue$ActualOut

Violation Line Priority
SBSC: Method joeq.Compiler.Analysis.IPSSA.SSAValue$ActualOut.toString() concatenates strings using + in a loop 373 Normal

joeq.Compiler.Analysis.IPSSA.IPSSABuilder$ApplicationLaunchingPad

Violation Line Priority
OS: joeq.Compiler.Analysis.IPSSA.IPSSABuilder$ApplicationLaunchingPad.readConfig() may fail to close stream 922 Normal

joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary

Violation Line Priority
NP: Possible null pointer dereference in joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary.passParameter(joeq.Compiler.Quad.RegisterFactory$Register,joeq.Compiler.Analysis.IPA.ProgramLocation,int) 681 Normal
DLS: Dead store to $l2 in method joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary.visitIntIfCmp(joeq.Compiler.Quad.Quad) 763 Normal
CI: Class joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary.method -1 Low
CI: Class joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary.rf -1 Low
CI: Class joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary.param_nodes -1 Low
CI: Class joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary.my_global -1 Low
CI: Class joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary.start_states -1 Low
CI: Class joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary.returned -1 Low
CI: Class joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary.thrown -1 Low
CI: Class joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary.methodCalls -1 Low
CI: Class joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary.callToRVN -1 Low
CI: Class joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary.callToTEN -1 Low
CI: Class joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary.castMap -1 Low
CI: Class joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary.castPredecessors -1 Low
CI: Class joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary.passedAsParameter -1 Low
CI: Class joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary.bb -1 Low
CI: Class joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary.s -1 Low
CI: Class joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary.change -1 Low
CI: Class joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary.sync_ops -1 Low
CI: Class joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary.string_nodes -1 Low
CI: Class joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary is final but declares protected field joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$BuildMethodSummary.nodeCache -1 Low

joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$ConcreteObjectNode

Violation Line Priority
DLS: Dead store to a in method joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$ConcreteObjectNode.explore(java.util.List,Object) 2490 Normal

joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$UnknownTypeNode

Violation Line Priority
UPM: Private method joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$UnknownTypeNode.addDummyEdges() is never called 2719 Low

joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$State

Violation Line Priority
CN: Class joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$State implements Cloneable but does not define or use clone method -1 Normal

joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$NodeSet$1

Violation Line Priority
It: joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$NodeSet$1.next() can't throw NoSuchElement exception 3825 Normal

joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary

Violation Line Priority
HE: joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary defines hashCode and uses Object.equals() -1 Low
EI2: joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary.<init>(PrimitiveMethodSummary$ParamNode[]) may expose internal representation by storing an externally mutable object into joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary.params 4244 Normal
EI2: joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary.<init>(PrimitiveMethodSummary$BuildMethodSummary,joeq.Class.jq_Method,PrimitiveMethodSummary$ParamNode[],PrimitiveMethodSummary$GlobalNode,java.util.Set,java.util.Map,java.util.Map,java.util.Map,java.util.Set,java.util.Set,java.util.Set,java.util.Set,java.util.Map,java.util.Collection) may expose internal representation by storing an externally mutable object into joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary.params 4275 Normal
NS: Questionable use of non-short-circuit logic in joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary.getSummary(joeq.Class.jq_Method) 221 Normal
RCN: Redundant nullcheck of value known to be non-null joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary.unifyAccessPaths(java.util.Set) 4626 Normal
DLS: Dead store to n2 in method joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary.unifyAccessPathEdges(PrimitiveMethodSummary$Node) 4657 Low
BC: Unchecked/unconfirmed cast from joeq.Class.jq_Method to class joeq.Class.jq_FakeInstanceMethod in joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary.fakeMethodSummary(joeq.Class.jq_Method) 5424 Low
MS: joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary.out isn't final but should be 119 High
MS: joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary.TRACE_INTRA isn't final but should be 120 High
MS: joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary.TRACE_INTER isn't final but should be 121 High
MS: joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary.TRACE_INST isn't final but should be 122 High
MS: joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary.TRACE_DOT isn't final but should be 123 High
MS: joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary.SSA isn't final but should be 130 High
MS: joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary.ssaEntered isn't final but should be 137 High
MS: joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary.stringNodes2Values isn't final but should be 138 High
MS: joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary.summary_cache isn't final but should be 161 High
MS: joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary.clone_cache isn't final but should be -1 High
MS: joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary.CACHE_BUILDER isn't final but should be 4258 High

joeq.Compiler.Analysis.Primitive.PrimitivePA$HeapPathSelector

Violation Line Priority
UCF: Useless control flow in joeq.Compiler.Analysis.Primitive.PrimitivePA$HeapPathSelector.isImportant(Object,Object,java.math.BigInteger) 4243 Normal

joeq.Compiler.Analysis.Primitive.PrimitivePA

Violation Line Priority
NP: Load of known null value in joeq.Compiler.Analysis.Primitive.PrimitivePA.countCallGraph(joeq.Compiler.Quad.CallGraph,joeq.Compiler.Analysis.IPA.ObjectCreationGraph,boolean) 4096 Low
NP: Load of known null value in joeq.Compiler.Analysis.Primitive.PrimitivePA.countHeapNumbering(joeq.Compiler.Quad.CallGraph,boolean) 4401 Low
Nm: The field name joeq.Compiler.Analysis.Primitive.PrimitivePA.Vmap doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Compiler.Analysis.Primitive.PrimitivePA.Imap doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Compiler.Analysis.Primitive.PrimitivePA.Hmap doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Compiler.Analysis.Primitive.PrimitivePA.Fmap doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Compiler.Analysis.Primitive.PrimitivePA.Tmap doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Compiler.Analysis.Primitive.PrimitivePA.Nmap doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Compiler.Analysis.Primitive.PrimitivePA.Mmap doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Compiler.Analysis.Primitive.PrimitivePA.Iret doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Compiler.Analysis.Primitive.PrimitivePA.Mret doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Compiler.Analysis.Primitive.PrimitivePA.Ithr doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Compiler.Analysis.Primitive.PrimitivePA.Mthr doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Compiler.Analysis.Primitive.PrimitivePA.ItoI2 doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Compiler.Analysis.Primitive.PrimitivePA.Fset doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Compiler.Analysis.Primitive.PrimitivePA.Mset doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Compiler.Analysis.Primitive.PrimitivePA.Nset doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Compiler.Analysis.Primitive.PrimitivePA.Iset doesn't start with an lower case letter -1 Low
Nm: The field name joeq.Compiler.Analysis.Primitive.PrimitivePA.Zset doesn't start with an lower case letter -1 Low
ST: Write to static field joeq.Compiler.Analysis.Primitive.PrimitivePA.printed from instance method joeq.Compiler.Analysis.Primitive.PrimitivePA.getBDDDomains(net.sf.javabdd.BDD) 2037 High
RCN: Redundant nullcheck of value known to be non-null joeq.Compiler.Analysis.Primitive.PrimitivePA.bindForName() 2519 Normal
RCN: Redundant nullcheck of value known to be non-null joeq.Compiler.Analysis.Primitive.PrimitivePA.bindForName() 2538 Low
RCN: Redundant nullcheck of value known to be non-null joeq.Compiler.Analysis.Primitive.PrimitivePA.bindForName() 2544 Normal
RCN: Redundant nullcheck of value known to be non-null joeq.Compiler.Analysis.Primitive.PrimitivePA.bindForName() 2567 Normal
UCF: Useless control flow in joeq.Compiler.Analysis.Primitive.PrimitivePA.initializeBDD(String) 312 Normal
UCF: Useless control flow in joeq.Compiler.Analysis.Primitive.PrimitivePA.initializeBDD(String) 343 Normal
UCF: Useless control flow in joeq.Compiler.Analysis.Primitive.PrimitivePA.initializeBDD(String) 524 Normal
UCF: Useless control flow in joeq.Compiler.Analysis.Primitive.PrimitivePA.getV1V2Context(joeq.Class.jq_Method) 1066 Normal
UCF: Useless control flow in joeq.Compiler.Analysis.Primitive.PrimitivePA.run(String,joeq.Compiler.Quad.CallGraph,java.util.Collection) 3064 Normal
UCF: Useless control flow in joeq.Compiler.Analysis.Primitive.PrimitivePA.getV1H1Context(joeq.Class.jq_Method) 4474 Normal
UPM: Private method joeq.Compiler.Analysis.Primitive.PrimitivePA.makeHQuadbdd() is never called 5211 Low
UPM: Private method joeq.Compiler.Analysis.Primitive.PrimitivePA.dumpCallGraphAsDot(joeq.Compiler.Quad.CallGraph,String) is never called 3525 Normal
DLS: Dead store to s in method joeq.Compiler.Analysis.Primitive.PrimitivePA.visitMethod(joeq.Class.jq_Method) 1011 High
DLS: Dead store to H_i in method joeq.Compiler.Analysis.Primitive.PrimitivePA.bindReflectionsWithCasts() 2460 Low
DLS: Dead store to cn in method joeq.Compiler.Analysis.Primitive.PrimitivePA.bindForName() 2515 Low
DLS: Dead store to roots in method joeq.Compiler.Analysis.Primitive.PrimitivePA.loadCallGraph(java.util.Collection) 3016 Normal
FE: Test for floating point equality in joeq.Compiler.Analysis.Primitive.PrimitivePA.saveForNameStats(). 3279 Low
MS: joeq.Compiler.Analysis.Primitive.PrimitivePA.TRACE_REFLECTION isn't final but should be 174 High
MS: joeq.Compiler.Analysis.Primitive.PrimitivePA.TRACE_REFLECTION_DOMAINS isn't final but should be 175 High
MS: joeq.Compiler.Analysis.Primitive.PrimitivePA.fakeCloneName isn't final but should be 1188 High
MS: joeq.Compiler.Analysis.Primitive.PrimitivePA.THREADS_ONLY isn't final but should be 4135 High
MS: joeq.Compiler.Analysis.Primitive.PrimitivePA.MATCH_FACTORY isn't final but should be 4202 High
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.A -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.F -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.Fmap -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.H1 -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.H1cdomain -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.H1set -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.H2 -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.Hmap -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.I -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.IE -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.IEcs -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.IEfilter -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.IMset -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.INset -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.Imap -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.Iret -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.Iset -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.Ithr -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.L -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.M -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.M2 -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.MZset -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.Mmap -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.Mret -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.Mset -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.Mthr -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.N -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.NNfilter -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.Nmap -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.S -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.T1 -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.T1set -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.T2 -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.T2Nset -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.Tmap -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.V1 -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.V1H1correspondence -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.V1cdomain -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.V1set -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.V2 -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.V2cdomain -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.V2cset -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.Vmap -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.Z -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.aT -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.actual -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.bdd -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.bddIRBuilder -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.cha -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.fC -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.fT -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.forNameMap -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.formal -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.hCnumbering -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.hP -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.hPfilter -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.hT -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.mI -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.mSync -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.mV -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.oCnumbering -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.old1_A -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.old1_L -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.old1_S -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.old1_hP -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.old1_vP -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.old2_myIE -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.old2_visited -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.old3_hT -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.old3_t3 -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.old3_t4 -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.old3_vP -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.polyClasses -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.rangeMap -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.staticCalls -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.sync -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.threadNumbers -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.threadRuns -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.vCnumbering -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.vP -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.vPfilter -1 Low
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.Primitive.PrimitivePA.vT -1 Low
UwF: Unwritten field: joeq.Compiler.Analysis.Primitive.PrimitivePA.H1toV1c -1 Normal
UwF: Unwritten field: joeq.Compiler.Analysis.Primitive.PrimitivePA.V1cH1equals -1 Normal
UwF: Unwritten field: joeq.Compiler.Analysis.Primitive.PrimitivePA.V1csets -1 Normal
UwF: Field only ever set to null: joeq.Compiler.Analysis.Primitive.PrimitivePA.ocg -1 Normal
UrF: Unread field: joeq.Compiler.Analysis.Primitive.PrimitivePA.H1H2set -1 Normal
UrF: Unread field: joeq.Compiler.Analysis.Primitive.PrimitivePA.H1cH2cset -1 Normal
UrF: Unread field: joeq.Compiler.Analysis.Primitive.PrimitivePA.H2Fset -1 Normal
UrF: Unread field: joeq.Compiler.Analysis.Primitive.PrimitivePA.INH1set -1 Normal
UrF: Unread field: joeq.Compiler.Analysis.Primitive.PrimitivePA.INT2set -1 Normal
UrF: Unread field: joeq.Compiler.Analysis.Primitive.PrimitivePA.T2toT1 -1 Normal
UrF: Unread field: joeq.Compiler.Analysis.Primitive.PrimitivePA.V1Fset -1 Normal
UuF: Unused field: joeq.Compiler.Analysis.Primitive.PrimitivePA.V1ctoH1 -1 Normal
UrF: Unread field: joeq.Compiler.Analysis.Primitive.PrimitivePA.V2Fset -1 Normal
UrF: Unread field: joeq.Compiler.Analysis.Primitive.PrimitivePA.hQuad -1 Normal

joeq.Compiler.Analysis.Primitive.PrimitiveSubtypeHelper$OfflineSubtypeHelper

Violation Line Priority
OS: joeq.Compiler.Analysis.Primitive.PrimitiveSubtypeHelper$OfflineSubtypeHelper.initializeSubclasses() may fail to close stream 136 Normal

joeq.Compiler.Analysis.Primitive.PrimitivePACallGraph$BDDSet$1

Violation Line Priority
It: joeq.Compiler.Analysis.Primitive.PrimitivePACallGraph$BDDSet$1.next() can't throw NoSuchElement exception 115 Low

joeq.Compiler.Analysis.IPSSA.Apps.FindOwnership$SimpleOwnershipFinder

Violation Line Priority
DLS: Dead store to result in method joeq.Compiler.Analysis.IPSSA.Apps.FindOwnership$SimpleOwnershipFinder.getInitValue(joeq.Class.jq_Method) 188 High

joeq.Compiler.Analysis.IPSSA.Utils.AnalysisObjectSpec$PAObjectSpec

Violation Line Priority
DMI: Invocation of toString on an array in joeq.Compiler.Analysis.IPSSA.Utils.AnalysisObjectSpec$PAObjectSpec.toString() 84 Normal

joeq.Compiler.Analysis.IPSSA.Utils.IteratorHelper$SingleIterator

Violation Line Priority
It: joeq.Compiler.Analysis.IPSSA.Utils.IteratorHelper$SingleIterator.next() can't throw NoSuchElement exception 30 Normal

joeq.Compiler.Analysis.IPSSA.Utils.IteratorHelper$EmptyIterator

Violation Line Priority
It: joeq.Compiler.Analysis.IPSSA.Utils.IteratorHelper$EmptyIterator.next() can't throw NoSuchElement exception 43 Normal

joeq.Compiler.Analysis.IPSSA.Utils.ReachabilityTrace

Violation Line Priority
CN: clone method joeq.Compiler.Analysis.IPSSA.Utils.ReachabilityTrace.clone() does not call super.clone() 29 Normal

joeq.ClassLib.Common.java.io.FileDescriptor

Violation Line Priority
UPM: Private method joeq.ClassLib.Common.java.io.FileDescriptor.initIDs() is never called 25 Low

joeq.ClassLib.Common.java.lang.Class

Violation Line Priority
Dm: Method joeq.ClassLib.Common.java.lang.Class.getName() invokes toString() method on a String; just use the String 121 Normal
EI: joeq.ClassLib.Common.java.lang.Class.getSigners() may expose internal representation by returning joeq.ClassLib.Common.java.lang.Class.signers 168 Normal
UPM: Private method joeq.ClassLib.Common.java.lang.Class.getMethod0(String,Class[],int) is never called 369 Low
UPM: Private method joeq.ClassLib.Common.java.lang.Class.registerNatives() is never called 46 Low
UPM: Private method joeq.ClassLib.Common.java.lang.Class.getProtectionDomain0() is never called 182 Low
UPM: Private method joeq.ClassLib.Common.java.lang.Class.getDeclaredClasses0() is never called 432 Low
UPM: Private method joeq.ClassLib.Common.java.lang.Class.getFields0(int) is never called 203 Low
UPM: Private method joeq.ClassLib.Common.java.lang.Class.getField0(String,int) is never called 330 Low
UPM: Private method joeq.ClassLib.Common.java.lang.Class.getConstructors0(int) is never called 303 Low
UPM: Private method joeq.ClassLib.Common.java.lang.Class.getConstructor0(Class[],int) is never called 419 Low
UPM: Private method joeq.ClassLib.Common.java.lang.Class.getMethods0(int) is never called 246 Low
UPM: Private method joeq.ClassLib.Common.java.lang.Class.newInstance0() is never called 63 Low
UPM: Private method joeq.ClassLib.Common.java.lang.Class.forName0(String,boolean,ClassLoader) is never called 51 Low
BC: Impossible cast from joeq.ClassLib.Common.java.lang.Class to class java.lang.Class in joeq.ClassLib.Common.java.lang.Class.createNewClass(joeq.Class.jq_Type) 439 High
BC: Impossible cast from java.lang.Class to class joeq.ClassLib.Common.java.lang.Class in joeq.ClassLib.Common.java.lang.Class.getJQType(Class) 444 High

joeq.ClassLib.Common.java.lang.ClassLoader

Violation Line Priority
UPM: Private method joeq.ClassLib.Common.java.lang.ClassLoader.findBootstrapClass(String) is never called 122 Low
UPM: Private method joeq.ClassLib.Common.java.lang.ClassLoader.resolveClass0(Class) is never called 118 Low
BC: Impossible cast from joeq.Class.PrimordialClassLoader to class joeq.ClassLib.Common.java.lang.ClassLoader in joeq.ClassLib.Common.java.lang.ClassLoader.getSystemClassLoader() 75 High
BC: Impossible cast from joeq.ClassLib.Common.java.lang.ClassLoader to class java.lang.ClassLoader in joeq.ClassLib.Common.java.lang.ClassLoader.getSystemClassLoader() 95 High
BC: Impossible cast from joeq.ClassLib.Common.java.lang.ClassLoader to class java.lang.ClassLoader in joeq.ClassLib.Common.java.lang.ClassLoader.defineClass0(String,byte[],int,int,java.security.ProtectionDomain) 110 High
BC: Impossible cast from java.lang.ClassLoader to class joeq.ClassLib.Common.java.lang.ClassLoader in joeq.ClassLib.Common.java.lang.ClassLoader.getCallerClassLoader() 155 High
BC: Impossible cast from java.lang.ClassLoader to class joeq.ClassLib.Common.java.lang.ClassLoader in joeq.ClassLib.Common.java.lang.ClassLoader.getOrCreateType(ClassLoader,joeq.UTF.Utf8) 167 High
BC: Impossible cast from joeq.ClassLib.Common.java.lang.ClassLoader to class java.lang.ClassLoader in joeq.ClassLib.Common.java.lang.ClassLoader.getOrCreateType(joeq.UTF.Utf8) 177 High
BC: Impossible cast from joeq.ClassLib.Common.java.lang.ClassLoader to class java.lang.ClassLoader in joeq.ClassLib.Common.java.lang.ClassLoader.getOrCreateType(joeq.UTF.Utf8) 185 High
Nm: Confusing to have methods joeq.ClassLib.Common.java.lang.ClassLoader.isAncestor(ClassLoader) and java.lang.ClassLoader.isAncestor(ClassLoader) -1 Low

joeq.ClassLib.Common.java.lang.Shutdown

Violation Line Priority
UPM: Private method joeq.ClassLib.Common.java.lang.Shutdown.runAllFinalizers() is never called 23 Low

joeq.ClassLib.Common.java.lang.Thread

Violation Line Priority
UPM: Private method joeq.ClassLib.Common.java.lang.Thread.suspend0() is never called 126 Low
UPM: Private method joeq.ClassLib.Common.java.lang.Thread.stop0(Object) is never called 122 Low
UPM: Private method joeq.ClassLib.Common.java.lang.Thread.interrupt0() is never called 134 Low
UPM: Private method joeq.ClassLib.Common.java.lang.Thread.setPriority0(int) is never called 116 Low
UPM: Private method joeq.ClassLib.Common.java.lang.Thread.resume0() is never called 130 Low
UPM: Private method joeq.ClassLib.Common.java.lang.Thread.registerNatives() is never called 86 Low
UPM: Private method joeq.ClassLib.Common.java.lang.Thread.isInterrupted(boolean) is never called 95 Low
BC: Impossible cast from joeq.ClassLib.Common.java.lang.Thread to class java.lang.Thread in joeq.ClassLib.Common.java.lang.Thread.<init>() 34 High
BC: Impossible cast from joeq.ClassLib.Common.java.lang.Thread to class java.lang.Thread in joeq.ClassLib.Common.java.lang.Thread.<init>(Runnable) 42 High
BC: Impossible cast from joeq.ClassLib.Common.java.lang.Thread to class java.lang.Thread in joeq.ClassLib.Common.java.lang.Thread.<init>(ThreadGroup,Runnable) 50 High
BC: Impossible cast from joeq.ClassLib.Common.java.lang.Thread to class java.lang.Thread in joeq.ClassLib.Common.java.lang.Thread.<init>(String) 58 High
BC: Impossible cast from joeq.ClassLib.Common.java.lang.Thread to class java.lang.Thread in joeq.ClassLib.Common.java.lang.Thread.<init>(ThreadGroup,String) 65 High
BC: Impossible cast from joeq.ClassLib.Common.java.lang.Thread to class java.lang.Thread in joeq.ClassLib.Common.java.lang.Thread.<init>(Runnable,String) 72 High
BC: Impossible cast from joeq.ClassLib.Common.java.lang.Thread to class java.lang.Thread in joeq.ClassLib.Common.java.lang.Thread.<init>(ThreadGroup,Runnable,String) 79 High

joeq.ClassLib.Common.java.security.AccessController

Violation Line Priority
UPM: Private method joeq.ClassLib.Common.java.security.AccessController.getStackAccessControlContext() is never called 48 Low

joeq.ClassLib.Common.java.util.ResourceBundle

Violation Line Priority
UPM: Private method joeq.ClassLib.Common.java.util.ResourceBundle.getClassContext() is never called 21 Low

joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation

Violation Line Priority
Nm: The field name joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.Bias doesn't start with an lower case letter -1 Low
Nm: The field name joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.StandardName0 doesn't start with an lower case letter -1 Low
Nm: The field name joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.StandardName1 doesn't start with an lower case letter -1 Low
Nm: The field name joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.StandardName2 doesn't start with an lower case letter -1 Low
Nm: The field name joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.StandardName3 doesn't start with an lower case letter -1 Low
Nm: The field name joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.StandardBias doesn't start with an lower case letter -1 Low
Nm: The field name joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.DaylightName0 doesn't start with an lower case letter -1 Low
Nm: The field name joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.DaylightName1 doesn't start with an lower case letter -1 Low
Nm: The field name joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.DaylightName2 doesn't start with an lower case letter -1 Low
Nm: The field name joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.DaylightName3 doesn't start with an lower case letter -1 Low
Nm: The field name joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.DaylightBias doesn't start with an lower case letter -1 Low
UwF: Unwritten field: joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.Bias -1 Low
UwF: Unwritten field: joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.DaylightDate_wDay -1 Low
UwF: Unwritten field: joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.DaylightDate_wDayOfWeek -1 Low
UwF: Unwritten field: joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.DaylightDate_wHour -1 Low
UwF: Unwritten field: joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.DaylightDate_wMilliseconds -1 Low
UwF: Unwritten field: joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.DaylightDate_wMinute -1 Low
UwF: Unwritten field: joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.DaylightDate_wMonth -1 Low
UwF: Unwritten field: joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.DaylightDate_wSecond -1 Low
UwF: Unwritten field: joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.DaylightDate_wYear -1 Low
UwF: Unwritten field: joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.StandardBias -1 Low
UwF: Unwritten field: joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.StandardDate_wDay -1 Low
UwF: Unwritten field: joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.StandardDate_wDayOfWeek -1 Low
UwF: Unwritten field: joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.StandardDate_wHour -1 Low
UwF: Unwritten field: joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.StandardDate_wMilliseconds -1 Low
UwF: Unwritten field: joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.StandardDate_wMinute -1 Low
UwF: Unwritten field: joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.StandardDate_wMonth -1 Low
UwF: Unwritten field: joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.StandardDate_wSecond -1 Low
UwF: Unwritten field: joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.StandardDate_wYear -1 Low
UuF: Unused field: joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.DaylightBias -1 Normal
UuF: Unused field: joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.DaylightName0 -1 Normal
UuF: Unused field: joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.DaylightName1 -1 Normal
UuF: Unused field: joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.DaylightName2 -1 Normal
UuF: Unused field: joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.DaylightName3 -1 Normal
UuF: Unused field: joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.StandardName0 -1 Normal
UuF: Unused field: joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.StandardName1 -1 Normal
UuF: Unused field: joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.StandardName2 -1 Normal
UuF: Unused field: joeq.ClassLib.Common.java.util.TimeZone$TimeZoneInformation.StandardName3 -1 Normal

joeq.ClassLib.Common.sun.misc.AtomicLong

Violation Line Priority
UPM: Private method joeq.ClassLib.Common.sun.misc.AtomicLong.VMSupportsCS8() is never called 14 Low

joeq.ClassLib.pa.java.security.AccessController

Violation Line Priority
UPM: Private method joeq.ClassLib.pa.java.security.AccessController.getStackAccessControlContext() is never called 48 Low

joeq.ClassLib.sun13_win32.java.io.Win32FileSystem

Violation Line Priority
UPM: Private method joeq.ClassLib.sun13_win32.java.io.Win32FileSystem.getDriveDirectory(int) is never called 19 Low

joeq.ClassLib.sun14_win32.java.io.WinNTFileSystem

Violation Line Priority
UPM: Private method joeq.ClassLib.sun14_win32.java.io.WinNTFileSystem.initIDs() is never called 27 Low

joeq.ClassLib.Common.java.util.zip.ZipEntry

Violation Line Priority
UPM: Private method joeq.ClassLib.Common.java.util.zip.ZipEntry.initIDs() is never called 90 Low

joeq.ClassLib.ibm13_linux.java.lang.ref.Finalizer

Violation Line Priority
UPM: Private method joeq.ClassLib.ibm13_linux.java.lang.ref.Finalizer.initForReset() is never called 14 Low

joeq.ClassLib.ibm13_win32.java.lang.ref.Finalizer

Violation Line Priority
UPM: Private method joeq.ClassLib.ibm13_win32.java.lang.ref.Finalizer.initForReset() is never called 14 Low

joeq.Allocator.CodeAllocator

Violation Line Priority
MS: joeq.Allocator.CodeAllocator.TRACE isn't final but should be 37 High

joeq.Class.jq_Reference

Violation Line Priority
MS: joeq.Class.jq_Reference._state isn't final but should be 111 High

joeq.Class.jq_ConstantPool

Violation Line Priority
MS: joeq.Class.jq_ConstantPool.TRACE isn't final but should be 29 High

joeq.Compiler.CompilationState$StaticCompilation

Violation Line Priority
MS: joeq.Compiler.CompilationState$StaticCompilation.ASSUME_CORRECT_EXCEPTIONS isn't final but should be 140 High

joeq.Runtime.ExceptionDeliverer

Violation Line Priority
MS: joeq.Runtime.ExceptionDeliverer.TRACE isn't final but should be 28 High

joeq.Runtime.StackCodeWalker

Violation Line Priority
MS: joeq.Runtime.StackCodeWalker.TRACE isn't final but should be 22 High

joeq.Interpreter.BytecodeInterpreter

Violation Line Priority
MS: joeq.Interpreter.BytecodeInterpreter.ALWAYS_TRACE isn't final but should be 26 High

joeq.Scheduler.jq_RegisterState

Violation Line Priority
MS: joeq.Scheduler.jq_RegisterState.factory isn't final but should be -1 High

joeq.Compiler.BytecodeAnalysis.ModRefAnalysis

Violation Line Priority
MS: joeq.Compiler.BytecodeAnalysis.ModRefAnalysis.results isn't final but should be 38 High

joeq.Compiler.BytecodeAnalysis.Trimmer

Violation Line Priority
MS: joeq.Compiler.BytecodeAnalysis.Trimmer.TRACE isn't final but should be 41 High

joeq.Compiler.Quad.Operator

Violation Line Priority
MS: joeq.Compiler.Quad.Operator._delegate isn't final but should be 3880 High

joeq.Compiler.Quad.AndersenPointerAnalysis$Visitor

Violation Line Priority
MS: joeq.Compiler.Quad.AndersenPointerAnalysis$Visitor.added_hook should be package protected 204 Normal

joeq.ClassLib.Common.InterfaceImpl$CommonObjectTraverser

Violation Line Priority
MS: joeq.ClassLib.Common.InterfaceImpl$CommonObjectTraverser.IGNORE_THREAD_LOCALS isn't final but should be 61 High

joeq.ClassLib.apple13_osx.Interface$apple13_osxObjectTraverser

Violation Line Priority
MS: joeq.ClassLib.apple13_osx.Interface$apple13_osxObjectTraverser.INSTANCE isn't final but should be 40 High

joeq.ClassLib.sun13_linux.Interface$sun13_linuxObjectTraverser

Violation Line Priority
MS: joeq.ClassLib.sun13_linux.Interface$sun13_linuxObjectTraverser.INSTANCE isn't final but should be 40 High

joeq.ClassLib.sun15_linux.Interface$sun15_linuxObjectTraverser

Violation Line Priority
MS: joeq.ClassLib.sun15_linux.Interface$sun15_linuxObjectTraverser.INSTANCE isn't final but should be 42 High

joeq.ClassLib.sun15_win32.Interface$sun15_win32ObjectTraverser

Violation Line Priority
MS: joeq.ClassLib.sun15_win32.Interface$sun15_win32ObjectTraverser.INSTANCE isn't final but should be 41 High

joeq.Util.Templates.ListWrapper$BasicBlock$EmptyIterator

Violation Line Priority
MS: joeq.Util.Templates.ListWrapper$BasicBlock$EmptyIterator.INSTANCE isn't final but should be 50 High

joeq.Util.Templates.ListWrapper$Quad$EmptyIterator

Violation Line Priority
MS: joeq.Util.Templates.ListWrapper$Quad$EmptyIterator.INSTANCE isn't final but should be 92 High

joeq.Util.Templates.ListWrapper$ExceptionHandler$EmptyIterator

Violation Line Priority
MS: joeq.Util.Templates.ListWrapper$ExceptionHandler$EmptyIterator.INSTANCE isn't final but should be 134 High

joeq.Compiler.Analysis.IPA.SubtypeHelper

Violation Line Priority
MS: joeq.Compiler.Analysis.IPA.SubtypeHelper.TRACE isn't final but should be 21 High

joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$GlobalNode

Violation Line Priority
MS: joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$GlobalNode.GLOBAL isn't final and can't be protected from malicious code 2897 Normal

joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$GlobalNode

Violation Line Priority
MS: joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$GlobalNode.GLOBAL should be package protected 2948 Normal

joeq.Compiler.Analysis.Primitive.PrimitiveSubtypeHelper

Violation Line Priority
MS: joeq.Compiler.Analysis.Primitive.PrimitiveSubtypeHelper.TRACE isn't final but should be 21 High

joeq.ClassLib.Common.java.net.Inet4AddressImpl

Violation Line Priority
MS: joeq.ClassLib.Common.java.net.Inet4AddressImpl.gethostbyname should be package protected -1 Normal

joeq.ClassLib.ibm13_linux.java.util.zip.ZipFile

Violation Line Priority
MS: joeq.ClassLib.ibm13_linux.java.util.zip.ZipFile.inflaters should be package protected -1 Normal

joeq.ClassLib.ibm13_win32.java.util.zip.ZipFile

Violation Line Priority
MS: joeq.ClassLib.ibm13_win32.java.util.zip.ZipFile.inflaters should be package protected -1 Normal

joeq.Allocator.RuntimeCodeAllocator$Runtimex86CodeBuffer

Violation Line Priority
UwF: Field not initialized in constructor: joeq.Allocator.RuntimeCodeAllocator$Runtimex86CodeBuffer.entrypointAddress -1 Low

joeq.Class.PrimordialClassLoader$PathElement

Violation Line Priority
UwF: Field not initialized in constructor: joeq.Class.PrimordialClassLoader$PathElement.entries -1 Low

joeq.Compiler.Analysis.IPA.ObjectCreationGraph

Violation Line Priority
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPA.ObjectCreationGraph.currentMethod -1 Low

joeq.Compiler.Analysis.IPSSA.Apps.ResultCorrelation

Violation Line Priority
UwF: Field not initialized in constructor: joeq.Compiler.Analysis.IPSSA.Apps.ResultCorrelation._that -1 Low

joeq.Compiler.BytecodeAnalysis.ControlFlowGraph$BranchVisitor

Violation Line Priority
UwF: Field not initialized in constructor: joeq.Compiler.BytecodeAnalysis.ControlFlowGraph$BranchVisitor.bb -1 Low

joeq.Compiler.BytecodeAnalysis.LiveRefAnalysis$SecondPassVisitor

Violation Line Priority
UwF: Field not initialized in constructor: joeq.Compiler.BytecodeAnalysis.LiveRefAnalysis$SecondPassVisitor.current_bb -1 Low

joeq.Compiler.Quad.CachedCallGraph

Violation Line Priority
UwF: Field not initialized in constructor: joeq.Compiler.Quad.CachedCallGraph.callSites -1 Low

joeq.Scheduler.jq_ThreadQueue

Violation Line Priority
UwF: Field not initialized in constructor: joeq.Scheduler.jq_ThreadQueue.tail -1 Low

joeq.ClassLib.Common.java.io.UnixFileSystem$linux_stat

Violation Line Priority
UwF: Unwritten field: joeq.ClassLib.Common.java.io.UnixFileSystem$linux_stat.st_atime -1 Low
UwF: Unwritten field: joeq.ClassLib.Common.java.io.UnixFileSystem$linux_stat.st_blksize -1 Low
UwF: Unwritten field: joeq.ClassLib.Common.java.io.UnixFileSystem$linux_stat.st_blocks -1 Low
UwF: Unwritten field: joeq.ClassLib.Common.java.io.UnixFileSystem$linux_stat.st_ctime -1 Low
UwF: Unwritten field: joeq.ClassLib.Common.java.io.UnixFileSystem$linux_stat.st_dev -1 Low
UwF: Unwritten field: joeq.ClassLib.Common.java.io.UnixFileSystem$linux_stat.st_gid -1 Low
UwF: Unwritten field: joeq.ClassLib.Common.java.io.UnixFileSystem$linux_stat.st_ino -1 Low
UwF: Unwritten field: joeq.ClassLib.Common.java.io.UnixFileSystem$linux_stat.st_mode -1 Low
UwF: Unwritten field: joeq.ClassLib.Common.java.io.UnixFileSystem$linux_stat.st_mtime -1 Low
UwF: Unwritten field: joeq.ClassLib.Common.java.io.UnixFileSystem$linux_stat.st_nlink -1 Low
UwF: Unwritten field: joeq.ClassLib.Common.java.io.UnixFileSystem$linux_stat.st_rdev -1 Low
UwF: Unwritten field: joeq.ClassLib.Common.java.io.UnixFileSystem$linux_stat.st_size -1 Low
UwF: Unwritten field: joeq.ClassLib.Common.java.io.UnixFileSystem$linux_stat.st_uid -1 Low
UuF: Unused field: joeq.ClassLib.Common.java.io.UnixFileSystem$linux_stat.__pad1 -1 Normal
UuF: Unused field: joeq.ClassLib.Common.java.io.UnixFileSystem$linux_stat.__pad2 -1 Normal
UuF: Unused field: joeq.ClassLib.Common.java.io.UnixFileSystem$linux_stat.__unused1 -1 Normal
UuF: Unused field: joeq.ClassLib.Common.java.io.UnixFileSystem$linux_stat.__unused2 -1 Normal
UuF: Unused field: joeq.ClassLib.Common.java.io.UnixFileSystem$linux_stat.__unused3 -1 Normal
UuF: Unused field: joeq.ClassLib.Common.java.io.UnixFileSystem$linux_stat.__unused4 -1 Normal
UuF: Unused field: joeq.ClassLib.Common.java.io.UnixFileSystem$linux_stat.__unused5 -1 Normal

joeq.Compiler.Analysis.IPA.PACallGraph$PACallTargetMap$1$1$1

Violation Line Priority
NP: Read of unwritten field in joeq.Compiler.Analysis.IPA.PACallGraph$PACallTargetMap$1$1$1.getKey() 164 Normal

joeq.Compiler.Analysis.Primitive.PrimitivePACallGraph$PACallTargetMap$1$1$1

Violation Line Priority
NP: Read of unwritten field in joeq.Compiler.Analysis.Primitive.PrimitivePACallGraph$PACallTargetMap$1$1$1.getKey() 164 Normal

joeq.Class.PrimordialClassLoader$ZipFileElement$1

Violation Line Priority
SIC: The class joeq.Class.PrimordialClassLoader$ZipFileElement$1 could be refactored into a named _static_ inner class -1 Low

joeq.ClassLib.Common.java.util.zip.DeflaterEngine

Violation Line Priority
UuF: Unused field: joeq.ClassLib.Common.java.util.zip.DeflaterEngine.buffer -1 Normal

joeq.ClassLib.sun14_linux.java.io.FileDescriptor

Violation Line Priority
UrF: Unread field: joeq.ClassLib.sun14_linux.java.io.FileDescriptor.fd -1 Normal

joeq.ClassLib.sun14_win32.java.io.FileDescriptor

Violation Line Priority
UrF: Unread field: joeq.ClassLib.sun14_win32.java.io.FileDescriptor.fd -1 Normal

joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$Node$1

Violation Line Priority
SIC: The class joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$Node$1 could be refactored into a named _static_ inner class -1 Low

joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$OperandToNodeMap

Violation Line Priority
UuF: Unused field: joeq.Compiler.Analysis.FlowInsensitive.MethodSummary$OperandToNodeMap.operandToNode -1 Normal

joeq.Compiler.Analysis.IPA.PA$Dummy

Violation Line Priority
SIC: Should joeq.Compiler.Analysis.IPA.PA$Dummy be a _static_ inner class? -1 Normal

joeq.Compiler.Analysis.IPA.PACallGraph

Violation Line Priority
UrF: Unread field: joeq.Compiler.Analysis.IPA.PACallGraph.bdd -1 Normal

joeq.Compiler.Analysis.IPA.PAQuery$ParamAliasFinder$ModifiableBoolean

Violation Line Priority
SIC: Should joeq.Compiler.Analysis.IPA.PAQuery$ParamAliasFinder$ModifiableBoolean be a _static_ inner class? -1 Normal

joeq.Compiler.Analysis.IPA.ParameterAliasing$ParamAliasFinder$ModifiableBoolean

Violation Line Priority
SIC: Should joeq.Compiler.Analysis.IPA.ParameterAliasing$ParamAliasFinder$ModifiableBoolean be a _static_ inner class? -1 Normal

joeq.Compiler.Analysis.IPSSA.Apps.DeclarationDepth$DeclarationDepthComputation

Violation Line Priority
UrF: Unread field: joeq.Compiler.Analysis.IPSSA.Apps.DeclarationDepth$DeclarationDepthComputation._verbose -1 Normal

joeq.Compiler.Analysis.IPSSA.Apps.FindCollectionImplementations$ClassAndMethod

Violation Line Priority
UrF: Unread field: joeq.Compiler.Analysis.IPSSA.Apps.FindCollectionImplementations$ClassAndMethod._c -1 Normal

joeq.Compiler.Analysis.IPSSA.ContextSet$ContextLocationPair

Violation Line Priority
SIC: Should joeq.Compiler.Analysis.IPSSA.ContextSet$ContextLocationPair be a _static_ inner class? -1 Normal

joeq.Compiler.Analysis.IPSSA.DefinitionGraph$EfficientDefinitionGraph

Violation Line Priority
SIC: Should joeq.Compiler.Analysis.IPSSA.DefinitionGraph$EfficientDefinitionGraph be a _static_ inner class? -1 Normal

joeq.Compiler.Analysis.IPSSA.DefinitionGraph$EmptyEdge

Violation Line Priority
SIC: Should joeq.Compiler.Analysis.IPSSA.DefinitionGraph$EmptyEdge be a _static_ inner class? -1 Normal

joeq.Compiler.Analysis.IPSSA.DefinitionGraph$IPEdge

Violation Line Priority
SIC: Should joeq.Compiler.Analysis.IPSSA.DefinitionGraph$IPEdge be a _static_ inner class? -1 Normal

joeq.Compiler.Analysis.IPSSA.DefinitionGraph$PredicateEdge

Violation Line Priority
UrF: Unread field: joeq.Compiler.Analysis.IPSSA.DefinitionGraph$PredicateEdge._predicate -1 Normal

joeq.Compiler.Analysis.IPSSA.DefinitionGraph$PredicateEdge$TrueEdge

Violation Line Priority
UuF: Unused field: joeq.Compiler.Analysis.IPSSA.DefinitionGraph$PredicateEdge$TrueEdge._predicate -1 Normal

joeq.Compiler.Analysis.IPSSA.IPSSABuilder$Main

Violation Line Priority
UrF: Unread field: joeq.Compiler.Analysis.IPSSA.IPSSABuilder$Main._verbose -1 Normal

joeq.Compiler.Analysis.IPSSA.IPSSABuilder$SSABuilder$LiftMergesVisitor

Violation Line Priority
SIC: Should joeq.Compiler.Analysis.IPSSA.IPSSABuilder$SSABuilder$LiftMergesVisitor be a _static_ inner class? -1 Normal

joeq.Compiler.Analysis.IPSSA.IPSSABuilder$SSABuilder$Stage2Visitor

Violation Line Priority
UrF: Unread field: joeq.Compiler.Analysis.IPSSA.IPSSABuilder$SSABuilder$Stage2Visitor._h -1 Normal

joeq.Compiler.Analysis.IPSSA.SSAProcInfo$Helper

Violation Line Priority
UrF: Unread field: joeq.Compiler.Analysis.IPSSA.SSAProcInfo$Helper._query -1 Normal

joeq.Compiler.Analysis.IPSSA.SSAProcInfo$Query$1MethodBindingIterator

Violation Line Priority
SIC: Should joeq.Compiler.Analysis.IPSSA.SSAProcInfo$Query$1MethodBindingIterator be a _static_ inner class? -1 Normal

joeq.Compiler.Analysis.IPSSA.Utils.SimpleDominatorQuery$1

Violation Line Priority
SIC: The class joeq.Compiler.Analysis.IPSSA.Utils.SimpleDominatorQuery$1 could be refactored into a named _static_ inner class -1 Low

joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$Node$1

Violation Line Priority
SIC: The class joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$Node$1 could be refactored into a named _static_ inner class -1 Low

joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$OperandToNodeMap

Violation Line Priority
UuF: Unused field: joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary$OperandToNodeMap.operandToNode -1 Normal

joeq.Compiler.Analysis.Primitive.PrimitivePA$Dummy

Violation Line Priority
SIC: Should joeq.Compiler.Analysis.Primitive.PrimitivePA$Dummy be a _static_ inner class? -1 Normal

joeq.Compiler.Analysis.Primitive.PrimitivePACallGraph

Violation Line Priority
UrF: Unread field: joeq.Compiler.Analysis.Primitive.PrimitivePACallGraph.bdd -1 Normal

joeq.Compiler.Quad.AndersenPointerAnalysis$Visitor$1

Violation Line Priority
SIC: The class joeq.Compiler.Quad.AndersenPointerAnalysis$Visitor$1 could be refactored into a named _static_ inner class -1 Low

joeq.Compiler.Quad.BasicBlockVisitor$AllBasicBlockVisitor

Violation Line Priority
UrF: Unread field: joeq.Compiler.Quad.BasicBlockVisitor$AllBasicBlockVisitor.trace -1 Normal

joeq.Compiler.Quad.DotGraph$FactoredEdge

Violation Line Priority
SIC: Should joeq.Compiler.Quad.DotGraph$FactoredEdge be a _static_ inner class? -1 Normal

joeq.Util.SyntheticGraphs.Graph$Edge

Violation Line Priority
SIC: Should joeq.Util.SyntheticGraphs.Graph$Edge be a _static_ inner class? -1 Normal